motib / LearnSAT
SAT solver for education
☆26Updated 2 years ago
Alternatives and similar repositories for LearnSAT:
Users that are interested in LearnSAT are comparing it to the libraries listed below
- Monadic Constraint Programming framework☆28Updated 6 years ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- An equational theorem prover based on Knuth-Bendix completion☆50Updated last month
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 10 months ago
- Implementation of higher-order logic in Python☆64Updated 2 years ago
- ☆10Updated 5 months ago
- Reason about Term Rewriting Systems☆16Updated 2 years ago
- ☆52Updated 4 months ago
- Deposited packages of the homalg project☆13Updated 3 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- CLP(BNR) module for SWI-Prolog☆40Updated 2 weeks ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆27Updated 2 years ago
- Pedagogical first-order prover in Python☆75Updated this week
- Automatically exported from code.google.com/p/full-maude☆15Updated last year
- Haskell bindings to SymEngine☆25Updated last year
- Tutorial for the CHR system☆16Updated 4 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's☆10Updated last year
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- A collection of problem specifications in Essence.☆10Updated 10 months ago
- HoTT in Lean 3☆78Updated 4 years ago
- Lean4 port of Arduino balance car controller☆44Updated 4 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆45Updated last month
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆18Updated 4 years ago
- The formal proof of the Odd Order Theorem☆30Updated last month
- A symbolic model checker for Dynamic Epistemic Logic.☆46Updated last month