asgordon / DPLLLinks
Boolean satisfiability for propositional logic in Python
☆14Updated 2 weeks ago
Alternatives and similar repositories for DPLL
Users that are interested in DPLL are comparing it to the libraries listed below
Sorting:
- Conditional Associative Logic Memory☆27Updated 7 years ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- Resolution theorem proving for predicate logic in pure Python.☆97Updated last year
- Metamath verifier in Python☆40Updated 2 months ago
- ☆71Updated 4 years ago
- Python library that enables using prolog syntax and logic programming in python☆126Updated 2 years ago
- A Python-based interpreter for the agent-oriented programming language JASON☆53Updated last year
- Implementation of different variants of Parseval metric☆14Updated 10 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- Prolog Implementation in Python☆12Updated 7 years ago
- Differentiable Forth Interpreter☆72Updated 7 years ago
- An automated theorem prover for first-order logic.☆240Updated 3 years ago
- Art of Prolog Code☆36Updated 6 years ago
- An interface to SAT solver tools (like minisat)☆61Updated 2 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated this week
- Numenta's experimental C++ research code. Please see htmresearch for more details.☆26Updated 6 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated 5 months ago
- Catamount is a compute graph analysis tool to load, construct, and modify deep learning models and to symbolically analyze their compute …☆14Updated 4 years ago
- A tool for proving and organizing general theorems using Python.☆30Updated this week
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated 2 years ago
- DeepAlgebra☆25Updated 7 years ago
- A probabilistic programming language, based on Church☆17Updated 7 years ago
- Physics Derivation Graph: mathematical connections among equations☆21Updated last year
- Information geometry and its extension information topology☆10Updated 7 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆24Updated 11 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- Downloading and displaying academic ancestry☆16Updated 9 years ago
- Python term rewriting☆30Updated 12 years ago
- Course notes for CS323: Automated Reasoning☆42Updated 8 years ago