potassco / claspLinks
⚙️ A conflict-driven nogood learning answer set solver
☆126Updated last week
Alternatives and similar repositories for clasp
Users that are interested in clasp 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
- ☆151Updated 2 weeks ago
- Pedagogical first-order prover in Python☆76Updated 2 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆49Updated 2 months ago
- A lazy-grounding Answer-Set Programming system☆62Updated 6 months ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆72Updated this week
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆52Updated last year
- Python interface for SWI-Prolog☆49Updated 3 weeks ago
- The Vampire Theorem Prover☆344Updated this week
- Constraint Logic Programming over Integers☆205Updated last year
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆83Updated last month
- Language based on Rewriting Logic☆131Updated 3 weeks ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- Conjure: The Automated Constraint Modelling Tool☆105Updated last week
- Kodkod solver for relational logic☆78Updated 2 years ago
- ☆57Updated last month
- Port of Aleph to SWI-Prolog☆49Updated last year
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated last year
- The main development version of the PRISM model checker.☆175Updated 2 weeks ago
- The Git repository for the mCRL2 toolset.☆99Updated last week
- Embeddable Lambda Prolog Interpreter☆325Updated last week
- SAT Solver SATCH☆119Updated 2 years ago
- The Chuffed CP solver☆108Updated 2 weeks ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆17Updated 2 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- Metamath program - source code for the Metamath executable☆84Updated last month
- Spoofax runtime☆147Updated 4 months ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆149Updated 10 months ago