asgordon / DPLL
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
- Physics Derivation Graph: mathematical connections among equations☆20Updated 10 months ago
- Python term rewriting☆29Updated 12 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- PRolog Equation Solving System☆30Updated 8 years ago
- MiniZinc documentation☆16Updated 2 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- Interesting ATP Proofs☆13Updated 3 years ago
- Metamath verifier in Python☆38Updated last year
- Final Year Masters Project: modal logic solver tableaux☆23Updated 2 years ago
- Pedagogical first-order prover in Python☆75Updated this week
- Dynamic Self-Organized maps☆22Updated 9 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- DeepAlgebra☆25Updated 7 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 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…☆19Updated last week
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Updated 8 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 3 years ago
- Downloading and displaying academic ancestry☆16Updated 9 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆45Updated last week
- A system for computational category theory and applications☆38Updated 8 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- A rule engine based on Attempto Controlled English☆18Updated 5 months ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Hypergraph Case-Based Reasoning☆12Updated 6 years ago
- Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)☆27Updated 2 years ago
- Port of Aleph to SWI-Prolog☆45Updated last year
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago