potassco / clingconLinks
⛓️ Extension of clingo to handle constraints over integers
☆33Updated last month
Alternatives and similar repositories for clingcon
Users that are interested in clingcon are comparing it to the libraries listed below
Sorting:
- ⚙️ A conflict-driven nogood learning answer set solver☆133Updated last week
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Updated 2 years ago
- Spoofax runtime☆159Updated 8 months ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 8 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated last week
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- ☆34Updated 5 years ago
- The MMT Language and System☆79Updated 4 months ago
- Kodkod solver for relational logic☆80Updated 2 years ago
- CLP(SMT) on top of miniKanren☆38Updated 3 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 4 years ago
- Software specification and verification system based on graph rewriting☆37Updated 3 years ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆81Updated this week
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated 2 months ago
- Real number computation software☆129Updated 3 years ago
- Pedagogical first-order prover in Python☆79Updated 7 months ago
- ☆162Updated last month
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- ☆56Updated 8 months ago
- Maude Formal Environment☆17Updated 5 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 11 months ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 6 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 9 years ago
- ☆71Updated 5 years ago
- An extended typed Lambda Calculus☆21Updated last year
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- Various Futhark benchmark programs☆43Updated last week
- Implementation of higher-order logic in Python☆66Updated 2 years ago
- Community contributions to the Grammatical Framework☆62Updated last year
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago