netom / satispyLinks
An interface to SAT solver tools (like minisat)
☆60Updated 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☆29Updated 12 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- ☆40Updated 6 years ago
- Symbolic execution engine for toy language.☆51Updated 7 years ago
- Python bindings to picosat (a SAT solver)☆189Updated 3 months ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Updated 8 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated 2 weeks ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- probabilistic programming for PL folks☆157Updated 3 years ago
- ☆19Updated 8 years ago
- A next-good-bug recommender for Bugzilla☆11Updated 9 years ago
- Specify and synthesize systems using symbolic algorithms☆50Updated 7 months ago
- ☆43Updated 7 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆33Updated 4 years ago
- SAT instance generator for SHA-1☆49Updated 4 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆22Updated this week
- deep learning for math☆30Updated 6 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
- Pedagogical first-order prover in Python☆76Updated 2 weeks ago
- WASM builds of the Z3 SMT solver☆146Updated 5 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- VATA Tree Automata Library☆32Updated 10 months ago
- The Pseudo-Boolean Solver MiniSat+☆27Updated 12 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- DeepAlgebra☆25Updated 7 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year