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:
- Metamath verifier in Python☆39Updated last year
- Physics Derivation Graph: mathematical connections among equations☆20Updated last year
- DeepAlgebra☆25Updated 7 years ago
- Experiments learning the even-parity dataset with MPS (tensor trains)☆23Updated last year
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- Automated Theorem Prover for Automatic Words☆21Updated 4 years ago
- Python term rewriting☆29Updated 12 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- Pedagogical first-order prover in Python☆75Updated this week
- Improving spiking dynamical networks: Accurate delays, higher-order synapses, and time cells☆7Updated 7 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Updated 8 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- ☆71Updated 4 years ago
- Code for the series "Searching for Riemann Hypothesis Counterexamples"☆21Updated last year
- FreeTikZ☆37Updated 7 years ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- The Stochastic Local Search SAT Solver from UBC☆29Updated 3 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- 🔮 spaCy's Machine Learning library for NLP in Python☆8Updated 6 years ago
- An automated approach to the Collatz conjecture☆13Updated last year
- A library for hypergraphs and hypergraph algorithms☆28Updated 9 years ago
- Combinatorial tricks to enumerate regular expressions in closed-form.☆33Updated 8 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- Chatbot impls in Prolog☆15Updated 3 years ago
- deep learning for math☆29Updated 6 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 4 years ago
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 6 years ago
- A system for computational category theory and applications☆38Updated 8 years ago