tammet / logictools
The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical predicate logic and propositional formulas.
☆71Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for logictools
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆103Updated last year
- Parser for Attempto Controlled English (ACE)☆187Updated 6 months ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Some fun examples of solving problems with symbolic execution☆112Updated 6 years ago
- Chart parser (Earley SPPF)☆27Updated 5 years ago
- Use MiniZinc in the browser or with NodeJS☆30Updated this week
- A programming language where the syntax and semantics are mutable at runtime☆163Updated 12 years ago
- Conjure: The Automated Constraint Modelling Tool☆96Updated this week
- WASM builds of the Z3 SMT solver☆141Updated 4 years ago
- Collapsing Towers of Interpreters☆86Updated 9 months ago
- Run SWI-Prolog in your browser using WebAssemply☆76Updated 2 years ago
- A Pint-sized Earley Parser☆34Updated last month
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆117Updated 2 years ago
- Domain Specific Languages for Computational Law☆67Updated 3 weeks ago
- Polynomial-time Meta-Interpretive Learning☆102Updated 3 months ago
- A tutorial for DCG's in swi-Prolog☆33Updated 3 years ago
- Constraint Logic Programming over Integers☆184Updated 9 months ago
- metamath proof enumerators and other things☆87Updated 3 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆134Updated 2 weeks ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆42Updated last month
- A Prolog library to connect to PostgreSQL databases☆90Updated 6 months ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆53Updated 15 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 7 years ago
- A terse declarative logic programming language☆117Updated 4 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- An Open Encyclopedia of Proof Systems☆116Updated 2 years ago
- Boolean Constraint Solving in Prolog☆37Updated last year
- A live programming environment that lets you see the inner workings of programs☆77Updated 2 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆147Updated last month