netom / satispyLinks
An interface to SAT solver tools (like minisat)
☆61Updated 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
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆66Updated last year
- VATA Tree Automata Library☆32Updated 11 months ago
- program synthesis is possible☆41Updated 5 years ago
- probabilistic programming for PL folks☆157Updated 4 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated last month
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- Specify and synthesize systems using symbolic algorithms☆50Updated 9 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- Theorem proving in Lean☆49Updated 9 months ago
- Symbolic execution engine for toy language.☆51Updated 7 years ago
- Types for Python☆87Updated 6 years ago
- Python bindings to picosat (a SAT solver)☆190Updated 4 months ago
- Metamath verifier in Python☆40Updated 2 months ago
- An automated theorem prover for first-order logic.☆240Updated 3 years ago
- Exact Inference Engine for Probabilistic Programs☆135Updated 4 months 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
- Tableau-based Theorem Prover for Natural Logic and Language☆118Updated 2 weeks ago
- ☆40Updated 6 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆22Updated last month
- WASM builds of the Z3 SMT solver☆150Updated 5 years ago
- Resolution theorem proving for predicate logic in pure Python.☆96Updated last year
- The LTSmin model checking toolset☆60Updated 9 months ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Pedagogical first-order prover in Python☆76Updated last month
- ☆16Updated last year
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year