sambayless / monosat
MonoSAT - An SMT solver for Monotonic Theories
☆107Updated last year
Related projects ⓘ
Alternatives and complementary repositories for monosat
- Pono: A flexible and extensible SMT-based model checker☆80Updated 2 weeks ago
- A formal semantics of the RISC-V ISA in Haskell☆156Updated last year
- Communication between Coq and SAT/SMT solvers☆156Updated last month
- Approximate Model Counter☆70Updated 3 months ago
- SAT Solver SATCH☆107Updated 2 years ago
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆55Updated 9 years ago
- A model checker for infinite-state systems.☆69Updated 3 years ago
- Formal specification and verification of hardware, especially for security and privacy.☆124Updated 2 years ago
- A language for symbolic transitions system, inspired by Ivy.☆66Updated 7 months ago
- The DRAT-trim proof checker☆50Updated 6 months ago
- RISC-V Specification in Coq☆109Updated 3 months ago
- ☆32Updated 3 months ago
- microsat☆130Updated 2 years ago
- The opensmt solver☆77Updated this week
- CAQE is a solver for quantified Boolean formulas☆30Updated last year
- Libraries useful for Dafny programs☆43Updated last week
- The Eldarica model checker☆80Updated 2 weeks ago
- Lem semantic definition language☆130Updated 8 months ago
- ☆83Updated 2 years ago
- The LTSmin model checking toolset☆53Updated last week
- CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/C…☆117Updated last year
- AE-solver and Skolemizer☆18Updated 11 months ago
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆27Updated 2 months ago
- Definition of the Viper intermediate verification language.☆79Updated 2 weeks ago
- The source code to the Voss II Hardware Verification Suite☆53Updated last month
- TriCera: a model checker for C programs☆18Updated this week
- Generates loop invariants for program verification☆58Updated 3 years ago
- An automated deductive program verifier.☆39Updated last year
- The Standard Interface for Incremental Satisfiability Solving☆48Updated 2 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago