asgordon / DPLL
Boolean satisfiability for propositional logic in Python
☆15Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for DPLL
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 4 months ago
- DeepAlgebra☆25Updated 7 years ago
- MiniZinc documentation☆16Updated last year
- A probabilistic programming language, based on Church☆17Updated 7 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆92Updated 5 years ago
- A collection of example workloads for Parallel JavaScript☆26Updated last year
- Primary implementation of the Venture probabilistic programming system☆28Updated 4 years ago
- deep learning for math☆29Updated 5 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- Downloading and displaying academic ancestry☆14Updated 9 years ago
- Information geometry and its extension information topology☆10Updated 6 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated 9 months ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆72Updated 6 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- A MiniKanren in Python☆36Updated 8 years ago
- ☆42Updated 7 years ago
- PyTorch library for synthesizing programs from natural language☆18Updated 3 months ago
- Metamath verifier in Python☆34Updated 7 months ago
- Python Module for Logical Validation (forked from Rob Truxler library)☆25Updated 4 years ago
- Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing☆22Updated last month
- Dynamic Self-Organized maps☆22Updated 9 years ago
- Pedagogical first-order prover in Python☆73Updated last week
- A series of introductory instructional python notebooks, for computational number theory.☆13Updated 6 years ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- ☆72Updated 3 years ago
- PRolog Equation Solving System☆29Updated 8 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 4 years ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆19Updated 6 years ago
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 5 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆33Updated 11 years ago