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:
- ☆148Updated this week
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆81Updated 2 years ago
- Pedagogical first-order prover in Python☆76Updated last month
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆51Updated 5 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆66Updated last year
- VATA Tree Automata Library☆32Updated 11 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 10 months ago
- Git mirror of https://isabelle.in.tum.de/repos/isabelle☆70Updated this week
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- A lazy-grounding Answer-Set Programming system☆61Updated 5 months ago
- Language based on Rewriting Logic☆127Updated last week
- ☆55Updated 3 weeks ago
- The Vampire Theorem Prover☆338Updated last week
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆52Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆49Updated last month
- Conjure: The Automated Constraint Modelling Tool☆105Updated last week
- The DRAT-trim proof checker☆63Updated 8 months ago
- SAT Solver SATCH☆120Updated 2 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- The LTSmin model checking toolset☆60Updated 9 months ago
- git mirror of the Munich isabelle hg repository☆125Updated 3 months ago
- Kodkod solver for relational logic☆77Updated 2 years ago
- Specify and synthesize systems using symbolic algorithms☆50Updated 9 months ago
- A Modern Probabilistic Model Checker☆150Updated this week
- An automated theorem prover that uses Büchi automata.☆42Updated 3 years ago
- The Git repository for the mCRL2 toolset.☆99Updated this week
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Implementation of the λΠ-calculus modulo rewriting☆214Updated 3 months ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆122Updated 3 years ago