asgordon / DPLLLinks
Boolean satisfiability for propositional logic in Python
☆14Updated last month
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
- Resolution theorem proving for predicate logic in pure Python.☆97Updated last year
- A probabilistic programming language, based on Church☆17Updated 7 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Updated 8 years ago
- Numenta's experimental C++ research code. Please see htmresearch for more details.☆26Updated 6 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- A non-absolute, time-space complex optimal artificial brain (composed in matrix laboratory (matlab), by Jordan Micah Bennett)☆22Updated 6 years ago
- MC-AIXI-CTW by Marcus Hutter and his students (in particular Daniel Visentin)☆49Updated 14 years ago
- A tool for proving and organizing general theorems using Python.☆30Updated this week
- An experimental game☆18Updated 9 years ago
- Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat☆122Updated 5 months ago
- Information geometry and its extension information topology☆10Updated 7 years ago
- Downloading and displaying academic ancestry☆16Updated 9 years ago
- Logic Programming in Python☆31Updated 4 years ago
- Push Genetic Programming in Python.☆75Updated 2 years ago
- python experiment management toolset☆15Updated 6 years ago
- An automated theorem prover for first-order logic.☆241Updated 3 years ago
- Metamath verifier in Python☆40Updated 3 months ago
- Program synthesis☆12Updated 9 years ago
- ☆72Updated 4 years ago
- Pure Python Evolutionary Algorithms Framework☆46Updated 6 years ago
- General Purpose C++ Implementation for Inference and Learning in Bayesian and Markov Networks☆16Updated 6 years ago
- Differentiable Forth Interpreter☆72Updated 7 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated this week
- Reinforcement learning in TensorFlow 2☆22Updated 3 years ago
- Easing non-convex optimization with neural networks.☆23Updated 7 years ago
- Dynamic Self-Organized maps☆22Updated 9 years ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Updated 7 years ago
- Markov Decision Processes in Python☆15Updated 6 years ago
- A rule engine based on Attempto Controlled English☆18Updated 10 months ago