netom / satispyLinks
An interface to SAT solver tools (like minisat)
☆62Updated 2 years ago
Alternatives and similar repositories for satispy
Users that are interested in satispy are comparing it to the libraries listed below
Sorting:
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- Python term rewriting☆30Updated 12 years ago
- Python bindings to picosat (a SAT solver)☆192Updated last month
- program synthesis is possible☆41Updated 6 years ago
- VATA Tree Automata Library☆33Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- A research platform and active library for generalised SAT solving☆33Updated 3 months ago
- ☆41Updated 6 years ago
- The Stochastic Local Search SAT Solver from UBC☆30Updated 3 years ago
- Specify and synthesize systems using symbolic algorithms☆50Updated 11 months ago
- ☆89Updated 3 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 months ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- Partial evaluation of Python code☆22Updated 2 years ago
- Test and benchmark repository for Z3.☆28Updated 2 months ago
- An automated theorem prover for first-order logic.☆241Updated 3 years ago
- Metamath verifier in Python☆40Updated 4 months ago
- The LTSmin model checking toolset☆60Updated 11 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆119Updated 2 months ago
- Exact Inference Engine for Probabilistic Programs☆135Updated 6 months ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆22Updated 3 months ago
- The DRAT-trim proof checker☆65Updated 10 months ago
- ☆16Updated last year
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Updated 3 years ago
- Resolution theorem proving for predicate logic in pure Python.☆96Updated last year
- A SAT solver implementation in VHDL, team tussle☆21Updated 9 years ago
- Pedagogical first-order prover in Python☆76Updated 4 months ago