potassco / clingconLinks
⛓️ Extension of clingo to handle constraints over integers
☆29Updated 2 weeks ago
Alternatives and similar repositories for clingcon
Users that are interested in clingcon are comparing it to the libraries listed below
Sorting:
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆83Updated 2 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆128Updated last week
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 3 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- ☆22Updated 11 months ago
- Spoofax runtime☆149Updated 5 months ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- ☆34Updated 4 years ago
- Kodkod solver for relational logic☆78Updated 2 years ago
- MiniZinc documentation☆16Updated 2 years ago
- VATA Tree Automata Library☆33Updated last year
- Maude Formal Environment☆17Updated 5 years ago
- 🕰️ A solver for temporal programs.☆22Updated last year
- The MMT Language and System☆76Updated last month
- PRolog Equation Solving System☆29Updated 9 years ago
- Type checking and logical inference for JetBrains MPS☆32Updated 2 months ago
- The Chuffed CP solver☆111Updated last month
- Pedagogical first-order prover in Python☆76Updated 3 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆71Updated 2 years ago
- SML Parser Combinator Library☆28Updated 9 years ago
- An attribute grammar-based programming language for composable language extensions☆64Updated last week
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆52Updated 3 months ago
- Software specification and verification system based on graph rewriting☆37Updated 2 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated this week
- ☆153Updated last month
- Randomized testing for Prolog à la QuickCheck☆23Updated 6 years ago
- A VS Code extension that provides language support for prolog☆102Updated last year
- Community contributions to the Grammatical Framework☆61Updated last year
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆123Updated 3 years ago
- ☆11Updated 2 weeks ago