-
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
SMT Other UpdatedApr 13, 2024 -
jacodb Public
Forked from UnitTestBot/jacodbfast and effective way to access and analyze java bytecode
Kotlin Apache License 2.0 UpdatedMar 7, 2024 -
-
UTBotJava Public
Forked from UnitTestBot/UTBotJavaAutomated unit test generation and precise code analysis for Java
Kotlin Apache License 2.0 UpdatedNov 30, 2023 -
-
smtlib-intellij-plugin Public
Plugin for Intellij Idea to work with Smt-Lib language
-
yices2 Public
Forked from SRI-CSL/yices2The Yices SMT Solver
SMT GNU General Public License v3.0 UpdatedMar 22, 2023 -
-
kex-intrinsics Public
Forked from vorpal-research/kex-intrinsicsKotlin Apache License 2.0 UpdatedMar 8, 2023 -
kex-rt Public
Forked from AbdullinAM/kex-rtJava 8 standard library approximation for Kex
Java GNU General Public License v2.0 UpdatedMar 8, 2023 -
softdev-2022-spring-task-3 Public archive
About Базовый репозиторий для задания №3
15 UpdatedFeb 16, 2023 -
-
-
-
-
kex Public
Forked from vorpal-research/kexWhite-box fuzzer for Java bytecode
Kotlin Apache License 2.0 UpdatedOct 20, 2022 -
fuzzing_of_spacer Public
Forked from AnzhelaSukhanova/HornFuzzJetBrains Research intership project.
-
bitwuzla Public
Forked from bitwuzla/bitwuzlaBitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …
SMT Other UpdatedJul 25, 2022 -
-
-
algorithms-2022-spring Public
Базовый репозиторий для заданий по курсу Алгоритмы и Структуры Данных
11 UpdatedMay 27, 2022 -
softdev-2022-spring-task-1 Public archive
Базовый репозиторий для задания №1
-
kfg Public
Forked from vorpal-research/kfgLibrary for building CFG for Java bytecode
-
Algorithms-2022 Public
Forked from Kotlin-Polytech/Algorithms-2022Course: algorithms and data structures (2022)
Kotlin Creative Commons Attribution Share Alike 4.0 International UpdatedMar 15, 2022 -
-
-
-
-
diff-match-patch Public
Forked from google/diff-match-patchDiff Match Patch is a high-performance library in multiple languages that manipulates plain text.
-
{{ message }}