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:
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆27Updated last year
- Connecting bv_decide to SMTLIB.☆13Updated last month
- Tools for manipulating CHC and related files☆15Updated 2 years ago
- Egraphs Modulo Theories☆15Updated 2 months ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Updated 4 months ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 3 months ago
- A formally verified bug finder☆13Updated 8 months ago
- Interactive visualizer for e-graphs☆22Updated 7 months ago
- LLVM support for the lean theorem prover☆49Updated 3 years ago
- ☆9Updated last year
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆16Updated 3 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 5 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 5 months ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆24Updated 2 years ago
- The implementation of an SMTLib dialect for xDSL☆15Updated last week
- Solver for Constrained Horn Clauses☆42Updated this week
- DepQBF, a solver for quantified boolean formulae (QBF).☆36Updated 2 years ago
- A SyGuS Solver☆28Updated 2 months ago
- Isabelle LLVM Code Generator and Refinement☆28Updated last month
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆25Updated this week
- ☆16Updated 3 years ago
- Armv8 Native Code Symbolic Simulator in Lean☆85Updated 8 months ago
- ☆17Updated last year
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆37Updated 2 years ago
- A Fast Floating-Point Satisfiability Solver☆29Updated 2 weeks ago
- SymDiff-Differential-Program-Verifier☆36Updated last month
- Tutorials and courses for Z3☆86Updated 2 weeks ago
- SMTInterpol interpolating SMT solver☆67Updated last month
- Verimag Polyhedra Library☆18Updated 4 months ago
- CAQE is a solver for quantified Boolean formulas☆34Updated 2 years ago