potassco / clingconLinks
⛓️ Extension of clingo to handle constraints over integers
☆32Updated 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☆129Updated this week
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆84Updated 2 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Spoofax runtime☆150Updated 6 months ago
- An attribute grammar-based programming language for composable language extensions☆66Updated this week
- ☆34Updated 5 years ago
- Kodkod solver for relational logic☆80Updated 2 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 9 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Modeling and Programming with Gecode☆50Updated 2 years ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆71Updated last week
- SPARK 2014 repository for the Why3 verification platform.☆33Updated this week
- The MMT Language and System☆77Updated 2 months ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 3 years ago
- Software specification and verification system based on graph rewriting☆37Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated 2 weeks ago
- ☆41Updated 6 years ago
- Maude Formal Environment☆17Updated 5 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- Type checking and logical inference for JetBrains MPS☆32Updated 2 weeks ago
- ☆59Updated 11 years ago
- ☆155Updated 3 weeks ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- ☆71Updated 5 years ago
- Automatically exported from code.google.com/p/full-maude☆16Updated 2 months ago
- VATA Tree Automata Library☆33Updated last year
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆53Updated 4 months ago
- Operations with matrices, SWI pack☆13Updated last year