potassco / claspLinks
⚙️ A conflict-driven nogood learning answer set solver
☆127Updated last week
Alternatives and similar repositories for clasp
Users that are interested in clasp are comparing it to the libraries listed below
Sorting:
- ☆154Updated last week
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆83Updated 2 years ago
- Pedagogical first-order prover in Python☆76Updated 4 months ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆71Updated this week
- A lazy-grounding Answer-Set Programming system☆63Updated 8 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated last week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 3 weeks ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Metamath program - source code for the Metamath executable☆88Updated 3 months ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆53Updated last year
- The Vampire Theorem Prover☆360Updated this week
- Spoofax runtime☆149Updated 6 months ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 2 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- Kodkod solver for relational logic☆79Updated 2 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆53Updated 5 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- Conjure: The Automated Constraint Modelling Tool☆106Updated last month
- a Rust implementation of first-order term rewriting systems (TRS)☆28Updated 3 years ago
- VATA Tree Automata Library☆33Updated last year
- Embeddable Lambda Prolog Interpreter☆329Updated this week
- ☆58Updated 3 months ago
- git mirror of the Munich isabelle hg repository☆127Updated 2 weeks ago
- The Heterogeneous Tool Set☆59Updated 3 weeks ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 3 years ago
- Language based on Rewriting Logic☆140Updated 2 weeks ago
- 🕸️ A visualizer for graphs defined as logic programs☆30Updated last year
- An automated theorem prover that uses Büchi automata.☆43Updated 4 years ago
- Constraint Logic Programming over Integers☆209Updated last year