motib / LearnSAT
SAT solver for education
☆25Updated last year
Related projects: ⓘ
- Offline partial evaluation system for Prolog written using the cogen approach☆18Updated 8 years ago
- The Standard Interface for Incremental Satisfiability Solving☆47Updated 2 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆31Updated last year
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆24Updated 3 months ago
- Implementation of higher-order logic in Python☆56Updated last year
- Tutorial for the CHR system☆12Updated 3 years ago
- Call Julia code from Prolog☆28Updated last year
- ☆9Updated last year
- Automatically exported from code.google.com/p/full-maude☆15Updated 7 months ago
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆41Updated 3 weeks ago
- ☆20Updated 2 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆66Updated last year
- A heuristic procedure for proving inequalities☆31Updated 6 years ago
- Metamath verifier in Python☆35Updated 5 months ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆36Updated 7 months ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 2 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 3 months ago
- An encyclopedia of proofs☆56Updated 2 years ago
- ☆51Updated last month
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated last year
- An automated theorem prover that uses Büchi automata.☆40Updated 2 years ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆20Updated 2 years ago
- Experimentation framework for Popper☆18Updated 4 months ago
- CHR2 to SQL conversion☆12Updated 9 years ago
- My unofficial picat http://picat-lang.org/ repository☆26Updated 8 months ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 7 months ago
- Rigorous Global Branch-and-Bound Optimizer☆20Updated 4 months ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆9Updated 9 years ago