sahands / simple-sat
Simple recursive and iterative SAT solver written in Python.
☆123Updated 6 years ago
Alternatives and similar repositories for simple-sat:
Users that are interested in simple-sat are comparing it to the libraries listed below
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- SAT Solver SATCH☆114Updated 2 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated last year
- Lingeling SAT Solver☆100Updated last year
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Updated last year
- ☆52Updated 9 years ago
- A research platform and active library for generalised SAT solving☆33Updated last week
- A Python API for the MiniSat and MiniCard constraint solvers.☆20Updated last year
- Some fun examples of solving problems with symbolic execution☆113Updated 6 years ago
- ☆145Updated last year
- SAT instance generator for SHA-1☆47Updated 4 years ago
- A SAT solver implementation in VHDL, team tussle☆20Updated 8 years ago
- The LTSmin model checking toolset☆57Updated 5 months ago
- The DRAT-trim proof checker☆57Updated 4 months ago
- Cube-and-Conquer SAT solver☆33Updated last year
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆151Updated 2 weeks ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- A model checker for infinite-state systems.☆74Updated 3 months ago
- microsat☆133Updated 2 years ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 11 years ago
- SPARK 2014 repository for the Why3 verification platform.☆30Updated this week
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- MonoSAT - An SMT solver for Monotonic Theories☆111Updated 2 weeks ago
- Unison's source code☆107Updated last year
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆28Updated 4 years ago
- MIT's abstract interpretation class taught by Cousot☆39Updated 10 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- Auxiliary repository used to store pre-compiled binary distribution packages of Z3.☆18Updated 5 years ago