asgordon / DPLLLinks
Boolean satisfiability for propositional logic in Python
☆14Updated 2 months ago
Alternatives and similar repositories for DPLL
Users that are interested in DPLL are comparing it to the libraries listed below
Sorting:
- Metamath verifier in Python☆39Updated 4 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- The Stochastic Local Search SAT Solver from UBC☆30Updated 3 years ago
- Conditional Associative Logic Memory☆27Updated 7 years ago
- SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)☆12Updated 4 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat☆122Updated 5 months ago
- An automated theorem prover for first-order logic.☆241Updated 3 years ago
- PRolog Equation Solving System☆29Updated 9 years ago
- An interface to SAT solver tools (like minisat)☆62Updated 2 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated last week
- Dynamic Self-Organized maps☆22Updated 9 years ago
- A simple python package for graph theory that supports multi-edges, hyper-edges, looped-edges and every other combination of these.☆14Updated 6 years ago
- Resolution theorem proving for predicate logic in pure Python.☆96Updated last year
- An AST pretty printer for Python 🐍☆14Updated 6 years ago
- deep learning for math☆28Updated 6 years ago
- Logic Programming in Python☆31Updated 4 years ago
- A Python CAS library☆72Updated 2 weeks ago
- Cellular automata search program☆26Updated 3 years ago
- ☆72Updated 4 years ago
- A blog post exploring a connection between neural networks and topology☆102Updated 6 years ago
- A Python-based interpreter for the agent-oriented programming language JASON☆54Updated last year
- Python bindings to picosat (a SAT solver)☆192Updated last month
- Simple recursive and iterative SAT solver written in Python.☆123Updated 6 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated 2 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated last month
- Physics Derivation Graph: mathematical connections among equations☆21Updated last year
- A translation of Melanie Mitchell's original Copycat project from Lisp to Python.☆44Updated 8 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Updated 8 years ago
- Differentiable Forth Interpreter☆72Updated 7 years ago