potassco / clasp

Related projects ⓘ

Alternatives and complementary repositories for clasp

• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆75Updated last year
• eprover / eprover
  ☆134Updated 2 weeks ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated 2 weeks ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆10Updated 2 years ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆73Updated last year
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆29Updated last month
• vprover / vampire
  The Vampire Theorem Prover
  ☆301Updated this week
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆48Updated 2 years ago
• marijnheule / microsat
  microsat
  ☆130Updated 2 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆109Updated 2 years ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆46Updated 3 weeks ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆65Updated this week
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆139Updated last month
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆79Updated this week
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆58Updated 3 weeks ago
• ths-rwth / smtrat
  ☆52Updated 3 months ago
• SRI-CSL / libpoly
  LibPoly is a C library for manipulating polynomials
  ☆46Updated last month
• potassco / clingcon
  ⛓️ Extension of clingo to handle constraints over integers
  ☆25Updated 2 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆50Updated 6 months ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated last month
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆33Updated 2 weeks ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆40Updated last year
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆78Updated this week
• marcthurley / sharpSAT
  The #SAT solver sharpSAT
  ☆55Updated 2 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆53Updated 3 weeks ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆67Updated 5 months ago
• rocq-archive / coq-serapi
  Coq Protocol Playground with Se(xp)rialization of Internal Structures.
  ☆128Updated last week
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆290Updated this week