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
- Metamath verifier in Python☆40Updated 7 months ago
- Reason about Term Rewriting Systems☆18Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated 3 weeks ago
- CLP(BNR) module for SWI-Prolog☆44Updated last month
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Updated 4 months ago
- ☆62Updated 2 months ago
- Python term rewriting☆30Updated 12 years ago
- ☆34Updated 5 years ago
- ☆11Updated 4 months ago
- hitchhiker Prolog - an implementation of a novel virtual machine☆12Updated 2 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆133Updated last week
- Metamath program - source code for the Metamath executable☆91Updated last month
- mmj2 GUI Proof Assistant for the Metamath project☆77Updated last year
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆33Updated 3 months ago
- Simple Prolog to JS transpiler☆20Updated 13 years ago
- Pedagogical first-order prover in Python☆79Updated 7 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns…☆49Updated 3 weeks ago
- An attribute grammar-based programming language for composable language extensions☆68Updated 3 weeks ago
- Book lucid interpreter written in python☆24Updated 6 years ago
- A VS Code extension supporting for Picat language☆18Updated 7 years ago
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆29Updated 4 years ago
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆74Updated 5 years ago
- Tutorial for the CHR system☆16Updated 4 years ago
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- Yet another PEG parser combinator library and DSL☆56Updated 2 years ago
- A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.☆15Updated 4 years ago
- ☆71Updated 4 years ago
- A new logic programming language.☆175Updated 2 years ago