NikolajBjorner / ShonanArtOfSATLinks
Schedule for ArtOfSAT
☆10Updated last year
Alternatives and similar repositories for ShonanArtOfSAT
Users that are interested in ShonanArtOfSAT are comparing it to the libraries listed below
Sorting:
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 3 months ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆16Updated 3 years ago
- Tools for manipulating CHC and related files☆15Updated 2 years ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated 2 months ago
- Binary analysis in HOL☆40Updated 3 months ago
- ☆9Updated last year
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- Public reference documents for the SMT-LIB standard☆17Updated last month
- LLVM support for the lean theorem prover☆48Updated 3 years ago
- Structured BVA☆37Updated last year
- A Flexible and Efficient Proof Checker for SMT Solvers☆25Updated this week
- The DRAT-trim proof checker☆61Updated 7 months ago
- A formally verified bug finder☆14Updated 7 months ago
- Egraphs Modulo Theories☆15Updated 2 weeks ago
- Tons of Inductive Problems: The Benchmarks☆26Updated last year
- egraph on top of sqlite☆11Updated 3 years ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆26Updated last year
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆20Updated last week
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 3 months ago
- ☆11Updated 11 months ago
- TriCera: a model checker for C programs☆25Updated last week
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated this week
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆28Updated 4 months ago
- Isabelle LLVM Code Generator and Refinement☆28Updated this week
- Genetic program repair using GHC☆30Updated last year
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 3 years ago
- ☆34Updated 2 weeks ago
- Connecting bv_decide to SMTLIB.☆13Updated last week
- fast probabilistic symmetry detection on graphs☆14Updated last month
- Solver for Constrained Horn Clauses☆39Updated 2 weeks ago