motib / LearnSATLinks
SAT solver for education
☆26Updated 3 years ago
Alternatives and similar repositories for LearnSAT
Users that are interested in LearnSAT are comparing it to the libraries listed below
Sorting:
- Implementation of higher-order logic in Python☆66Updated 2 years ago
- Pedagogical first-order prover in Python☆79Updated 7 months ago
- Offline partial evaluation system for Prolog written using the cogen approach☆21Updated 9 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated 2 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated 2 weeks ago
- ☆11Updated 4 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Metamath verifier in Python☆40Updated 7 months ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- Deposited packages of the homalg project☆17Updated 3 weeks ago
- The Standard Interface for Incremental Satisfiability Solving☆51Updated 3 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆87Updated last month
- Tutorial for the CHR system☆16Updated 4 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- Language based on Rewriting Logic☆157Updated this week
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆26Updated 7 months ago
- Lean4 port of Arduino balance car controller☆49Updated 4 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 7 years ago
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Updated 2 years ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated 2 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Updated 2 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Updated 4 months ago
- Reason about Term Rewriting Systems☆18Updated 3 years ago
- The formal proof of the Odd Order Theorem☆37Updated 2 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- An automated theorem prover that uses Büchi automata.☆44Updated 4 years ago
- YAP Development release☆17Updated 5 years ago