asgordon / DPLLLinks
Boolean satisfiability for propositional logic in Python
☆14Updated 9 years ago
Alternatives and similar repositories for DPLL
Users that are interested in DPLL are comparing it to the libraries listed below
Sorting:
- Resolution theorem proving for predicate logic in pure Python.☆96Updated last year
- Metamath verifier in Python☆40Updated 2 months ago
- Conditional Associative Logic Memory☆27Updated 7 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆66Updated last year
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- DeepAlgebra☆25Updated 7 years ago
- ☆71Updated 4 years ago
- Dynamic Self-Organized maps☆22Updated 9 years ago
- Differentiable Forth Interpreter☆72Updated 7 years ago
- Cellular automata search program☆26Updated 3 years ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆13Updated 4 months ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 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
- Python term rewriting☆30Updated 12 years ago
- An interface to SAT solver tools (like minisat)☆61Updated 2 years ago
- Logic Programming in Python☆31Updated 3 years ago
- Cayley Dickson algebra implementation in python☆12Updated 6 years ago
- Course notes for CS323: Automated Reasoning☆42Updated 8 years ago
- Information geometry and its extension information topology☆10Updated 7 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆31Updated 6 months ago
- deep learning for math☆29Updated 6 years ago
- A probabilistic programming language, based on Church☆17Updated 7 years ago
- Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat☆121Updated 3 months ago
- An automated theorem prover for first-order logic.☆240Updated 3 years ago
- Downloading and displaying academic ancestry☆16Updated 9 years ago
- Python library that enables using prolog syntax and logic programming in python☆126Updated 2 years ago
- Prolog Implementation in Python☆12Updated 7 years ago
- Python Module for Logical Validation (forked from Rob Truxler library)☆26Updated 5 years ago
- Implementation of different variants of Parseval metric☆14Updated 10 years ago
- Program Synthesis☆145Updated 4 years ago