-
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
SMT Other UpdatedNov 10, 2025 -
-
ethos Public
Forked from cvc5/ethosA Flexible and Efficient Proof Checker for SMT Solvers
C++ Other UpdatedAug 29, 2025 -
cvc5_pythonic_api Public
Forked from cvc5/cvc5_pythonic_apiA Z3Py-compatible interface to cvc5
Python Other UpdatedMay 4, 2025 -
benchmark-submission-25 Public
Forked from SMT-LIB/benchmark-submissionRepository for the submission of SMT-LIB benchmarks for the 2025 release.
SMT UpdatedApr 14, 2025 -
-
self-public Public
Things I want to share
Python GNU General Public License v3.0 UpdatedJan 24, 2025 -
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 UpdatedNov 21, 2024 -
-
tutorials Public
Forked from cvc5/tutorialsRepository for source code of cvc5 tutorials
Python UpdatedSep 10, 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 -
-
-
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 argotorg/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
{{ message }}