sahands / simple-sat
Simple recursive and iterative SAT solver written in Python.
☆123Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for simple-sat
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago
- ☆48Updated 8 years ago
- An interface to SAT solver tools (like minisat)☆58Updated 2 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated 11 months ago
- MonoSAT - An SMT solver for Monotonic Theories☆107Updated last year
- The LTSmin model checking toolset☆53Updated last week
- SAT Solver SATCH☆107Updated 2 years ago
- The Pseudo-Boolean Solver MiniSat+☆27Updated 12 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆32Updated last year
- ☆83Updated 2 years ago
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆19Updated last year
- Specify and synthesize systems using symbolic algorithms☆46Updated last week
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 10 years ago
- Lingeling SAT Solver☆97Updated 7 months ago
- LibPoly is a C library for manipulating polynomials☆46Updated last month
- A model checker for infinite-state systems.☆69Updated 3 years ago
- Cube-and-Conquer SAT solver☆31Updated last year
- Generates loop invariants for program verification☆58Updated 3 years ago
- The DRAT-trim proof checker☆50Updated 6 months ago
- A research platform and active library for generalised SAT solving☆33Updated last month
- VATA Tree Automata Library☆32Updated 2 months ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆70Updated 3 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆26Updated 4 years ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 5 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆72Updated 11 months ago
- Implementation of multi-core (binary) decision diagrams☆67Updated 5 months ago
- Public snapshots of "ACSL by Example"☆101Updated 3 years ago
- The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, mod…☆75Updated 4 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