-
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
SMT Other UpdatedOct 22, 2024 -
self-public Public
Things I want to share
Python GNU General Public License v3.0 UpdatedOct 22, 2024 -
-
tutorials Public
Forked from cvc5/tutorialsRepository for source code of cvc5 tutorials
Python UpdatedSep 10, 2024 -
cvc5_pythonic_api Public
Forked from cvc5/cvc5_pythonic_apiA Z3Py-compatible interface to cvc5
Python Other UpdatedJun 6, 2024 -
-
-
-
-
-
lazybv2int Public
A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.
-
gen2sat Public
Gen2sat: Sat-based Decision Procedure for Analytic Pure Sequent Calculi
Java MIT License UpdatedAug 21, 2023 -
-
smt-switch Public
Forked from stanford-centaur/smt-switchA generic C API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
C Other UpdatedMay 6, 2023 -
-
europroofnet.github.io Public
Forked from EuroProofNet/europroofnet.github.ioSources of the EuroProofNet web site.
Ruby UpdatedMay 9, 2022 -
benchmark-submission Public
Forked from SMT-LIB/benchmark-submission-2022Git repository for the submission of SMT-LIB benchmarks
SMT UpdatedApr 6, 2022 -
ar-class-2022-hw1 Public
GH repo for hw1 of ar class at biu 2022
Python Creative Commons Zero v1.0 Universal UpdatedMar 28, 2022 -
-
-
-
dimacs2smtlib Public
input: dimacs file. output: equivalent smtlib file
Python BSD 3-Clause "New" or "Revised" License UpdatedAug 29, 2020 -
3Logics Public
Forked from akgperson/3Logics3Logic repo implemented with bv2int integration for smt-lib file reading
C Other UpdatedAug 3, 2020 -
-
solidity Public
Forked from ethereum/soliditySolidity, the Contract-Oriented Programming Language
C GNU General Public License v3.0 UpdatedApr 28, 2020 -
alive Public
Forked from nunoplopes/aliveAlive: Automatic LLVM's Instcombine Verifier
Python Apache License 2.0 UpdatedApr 20, 2020 -
ddSMT Public
Forked from ddsmt/ddSMTA delta debugger for SMT benchmarks in SMT-LIB v2
Python GNU General Public License v3.0 UpdatedMar 18, 2020 -
-
-