marijnheule / microsatLinks
microsat
☆138Updated 3 years ago
Alternatives and similar repositories for microsat
Users that are interested in microsat are comparing it to the libraries listed below
Sorting:
- SAT Solver SATCH☆120Updated 3 years ago
- The opensmt solver☆91Updated this week
- The DRAT-trim proof checker☆67Updated 11 months ago
- SRI Yices SMT Solver☆433Updated 2 months ago
- The glucose SAT solver☆126Updated 5 months ago
- CAQE is a solver for quantified Boolean formulas☆35Updated 2 years ago
- CaDiCaL SAT Solver☆493Updated this week
- SRI Sally: A model checker for infinite-state systems.☆75Updated 3 months ago
- Cube-and-Conquer SAT solver☆40Updated 4 months ago
- ☆589Updated last month
- Approximate Model Counter☆79Updated last month
- Armv8 Native Code Symbolic Simulator in Lean☆90Updated 3 months ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- The LTSmin model checking toolset☆59Updated last year
- Structured BVA☆42Updated last year
- Libraries useful for Dafny programs☆45Updated 3 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆109Updated this week
- ☆59Updated 4 months ago
- Definition of the Viper intermediate verification language.☆90Updated 2 weeks ago
- Communication between Coq and SAT/SMT solvers☆160Updated last month
- The Vampire Theorem Prover☆364Updated this week
- SRI LibPoly is a C library for manipulating polynomials☆51Updated this week
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆33Updated 7 months ago
- An automated theorem prover that uses Büchi automata.☆43Updated 4 years ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆81Updated this week
- ☆156Updated last month
- Pedagogical first-order prover in Python☆77Updated 5 months ago
- ☆39Updated this week
- ☆90Updated 3 years ago