potassco / clingo

Related projects ⓘ

Alternatives and complementary repositories for clingo

• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆117Updated 2 weeks ago
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆75Updated last year
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆315Updated 2 weeks ago
• MiniZinc / libminizinc
  The MiniZinc compiler
  ☆516Updated this week
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆206Updated last week
• vprover / vampire
  The Vampire Theorem Prover
  ☆300Updated this week
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆29Updated last month
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆201Updated 3 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆92Updated this week
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆479Updated 3 weeks ago
• domoritz / clingo-wasm
  Clingo on the web
  ☆33Updated this week
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆58Updated 3 weeks ago
• arminbiere / kissat
  ☆464Updated 2 months ago
• bramucas / xclingo2
  A tool for explainability and debugging in Answer Set Programming.
  ☆13Updated last month
• potassco / asprin
  💊 Qualitative and quantitative optimization in answer set programming
  ☆19Updated 5 months ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆42Updated this week
• hakank / hakank
  My public programs and models - mostly combinatorial problems and puzzles
  ☆368Updated last month
• Gecode / gecode
  Generic Constraint Development Environment
  ☆283Updated 4 months ago
• cvc5 / cvc5
  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
  ☆1,041Updated this week
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated 4 months ago
• potassco / clinguin
  🐧 Clingo Interactive UI
  ☆25Updated last week
• SRI-CSL / yices2
  The Yices SMT Solver
  ☆374Updated this week
• triska / clpz
  Constraint Logic Programming over Integers
  ☆185Updated 9 months ago
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆380Updated this week
• Aluriak / clyngor
  Handy python wrapper around Potassco's Clingo ASP solver.
  ☆34Updated last year
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆73Updated last year
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆144Updated this week
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆424Updated this week
• souffle-lang / souffle
  Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…
  ☆931Updated last month
• pythological / kanren
  An extensible, lightweight relational/logic programming DSL written in pure Python
  ☆183Updated last year