Alternatives and similar repositories for clingcon

Users that are interested in clingcon are comparing it to the libraries listed below

• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆79Updated last year
• rndmcnlly / ansunit
  Declarative unit testing for Answer Set Programming projects
  ☆12Updated 7 years ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆124Updated last week
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆11Updated 3 years ago
• potassco / asprin
  💊 Qualitative and quantitative optimization in answer set programming
  ☆20Updated last year
• alviano / wasp
  ☆22Updated 7 months ago
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated last year
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆46Updated 2 years ago
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 5 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆36Updated last year
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 11 months ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated 4 months ago
• MiniZinc / minizinc-doc
  MiniZinc documentation
  ☆16Updated 2 years ago
• Verites / verigraph
  Software specification and verification system based on graph rewriting
  ☆37Updated 2 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆14Updated 10 years ago
• brownplt / lambda-py
  ☆58Updated 11 years ago
• clarus / coq-blog
  A blog about Coq
  ☆10Updated 4 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆24Updated 2 months ago
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆29Updated 3 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• maude-team / full-maude
  Automatically exported from code.google.com/p/full-maude
  ☆16Updated last year
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• nuprl / gradual-typing-performance
  ☆10Updated 6 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 10 months ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• nick8325 / equinox
  Paradox model finder and equinox theorem prover for first-order logic.
  ☆20Updated last year
• emina / kodkod
  Kodkod solver for relational logic
  ☆76Updated last year
• idaks / PW-explorer
  ☆16Updated 4 years ago