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:
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Updated 3 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- Formal Language Tools for Robots☆14Updated 9 years ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- Python library that enables using prolog syntax and logic programming in python☆126Updated 2 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- ☆71Updated 4 years ago
- Chatbot impls in Prolog☆15Updated 3 years ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Updated 7 years ago
- deep learning for math☆30Updated 6 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆22Updated this week
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Information geometry and its extension information topology☆10Updated 7 years ago
- Evolutionary Algorithms Library☆63Updated 5 years ago
- Implementation of generative semantic grammar.☆18Updated 3 years ago
- Analytic Number Theory high-precision GnuMP routines☆19Updated last year
- Python term rewriting☆30Updated 12 years ago
- Resolution theorem proving for predicate logic in pure Python.☆95Updated last year
- A rule engine based on Attempto Controlled English☆18Updated 8 months ago
- Downloading and displaying academic ancestry☆16Updated 9 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆76Updated 2 months ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Metamath verifier in Python☆40Updated last month
- Physics Derivation Graph: mathematical connections among equations☆20Updated last year
- Conditional Associative Logic Memory☆27Updated 7 years ago
- Logic Programming in Python☆31Updated 3 years ago