asgordon / DPLLLinks
Boolean satisfiability for propositional logic in Python
☆14Updated 5 months 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 2 years ago
- Conditional Associative Logic Memory☆27Updated 8 years ago
- ☆71Updated 4 years ago
- Python library that enables using prolog syntax and logic programming in python☆128Updated 3 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- Metamath verifier in Python☆40Updated 7 months ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Updated 9 years ago
- Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat☆122Updated 9 months ago
- deep learning for math☆29Updated 6 years ago
- Cellular automata search program☆26Updated 3 years ago
- ☆42Updated 8 years ago
- A tool for proving and organizing general theorems using Python.☆31Updated last week
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Updated 7 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆130Updated 11 years ago
- Implementation of different variants of Parseval metric☆13Updated 11 years ago
- A probabilistic programming language, based on Church☆17Updated 8 years ago
- Dynamic Self-Organized maps☆22Updated 10 years ago
- An interface to SAT solver tools (like minisat)☆62Updated last month
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆49Updated 3 weeks ago
- Tableau-based Theorem Prover for Natural Logic and Language☆120Updated 2 months ago
- Python term rewriting☆30Updated 12 years ago
- Training neural networks to communicate with a visual language☆78Updated 2 years ago
- Reinforcement learning in TensorFlow 2☆22Updated 4 years ago
- An automated theorem prover for first-order logic.☆242Updated 4 years ago
- Research Paper Review Notes☆13Updated 7 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 14 years ago
- Quick definitions and intuitive explanations around machine learning.☆38Updated 3 weeks ago
- DeepAlgebra☆25Updated 8 years ago