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 8 months ago
- DeepAlgebra☆25Updated 7 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 6 months ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- Deep Probabilistic Programming Language☆19Updated 6 months ago
- Downloading and displaying academic ancestry☆16Updated 9 years ago
- Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)☆26Updated 2 years ago
- Metamath verifier in Python☆36Updated 9 months ago
- Formal concept analysis lattice generation and query in Python☆13Updated 10 years ago
- MiniZinc documentation☆16Updated last year
- Ordered subsets over a finite domain☆26Updated last year
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆11Updated 2 years ago
- Port of Aleph to SWI-Prolog☆45Updated 11 months ago
- ☆72Updated 3 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- A probabilistic programming language, based on Church☆17Updated 7 years ago
- Pedagogical first-order prover in Python☆73Updated last week
- https://code.google.com/p/graph-theory-algorithms-book/☆20Updated 9 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Updated 2 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆72Updated 6 years ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated last year
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 4 years ago
- A rule engine based on Attempto Controlled English☆18Updated 2 months ago
- ERGO Agent Programming Language☆27Updated 7 months ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago