asgordon / DPLL
Boolean satisfiability for propositional logic in Python
☆15Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for DPLL
- Physics Derivation Graph: mathematical connections among equations☆20Updated 5 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 4 months ago
- Metamath verifier in Python☆34Updated 7 months ago
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Updated 2 years ago
- An interface to SAT solver tools (like minisat)☆58Updated 2 years ago
- Logic Programming in Python☆30Updated 3 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- Program synthesis☆12Updated 8 years ago
- A probabilistic programming language, based on Church☆17Updated 7 years ago
- Implementation of generative semantic grammar.☆17Updated 2 years ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- Pedagogical first-order prover in Python☆73Updated 2 weeks ago
- Improving spiking dynamical networks: Accurate delays, higher-order synapses, and time cells☆7Updated 7 years ago
- Downloading and displaying academic ancestry☆14Updated 9 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- Python term rewriting☆27Updated 11 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated last year
- Final Year Masters Project: modal logic solver tableaux☆21Updated 2 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆42Updated last month
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆47Updated last week
- Conditional Associative Logic Memory☆27Updated 7 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- Interesting ATP Proofs☆13Updated 3 years ago
- An encyclopedia of proofs☆57Updated last week
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆11Updated 2 years ago
- Formal Language Tools for Robots☆13Updated 8 years ago
- A simplicial complex and hypergraph visualization tool similar to Graphviz.☆38Updated 5 years ago
- A rule engine based on Attempto Controlled English☆18Updated 3 weeks ago