maths / PRESSLinks
PRolog Equation Solving System
☆29Updated 9 years ago
Alternatives and similar repositories for PRESS
Users that are interested in PRESS are comparing it to the libraries listed below
Sorting:
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- CLP(BNR) module for SWI-Prolog☆44Updated 3 weeks ago
- Reason about Term Rewriting Systems☆18Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated 2 months ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Updated 4 months ago
- Tutorial for the CHR system☆16Updated 4 years ago
- Metamath verifier in Python☆40Updated 6 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- Simple Prolog to JS transpiler☆20Updated 13 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 6 years ago
- hitchhiker Prolog - an implementation of a novel virtual machine☆12Updated 2 years ago
- ☆34Updated 5 years ago
- A VS Code extension supporting for Picat language☆18Updated 7 years ago
- An automated theorem prover that uses Büchi automata.☆43Updated 4 years ago
- Python term rewriting☆30Updated 12 years ago
- ☆62Updated last month
- SWI-Prolog dynamic C interface☆17Updated last year
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 7 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Updated 2 months ago
- Book lucid interpreter written in python☆24Updated 6 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆31Updated 8 years ago
- Pedagogical first-order prover in Python☆78Updated 6 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆132Updated 3 weeks ago
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- ☆11Updated 3 months ago
- αProlog☆18Updated 2 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago