Alternatives and similar repositories for clingcon

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

• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆130Updated this week
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆84Updated 2 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆154Updated 7 months ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆80Updated 2 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 8 years ago
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆11Updated 4 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆77Updated 3 months ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆68Updated last week
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆73Updated last week
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆38Updated 3 years ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 9 months ago
• rewriting / tom
  ☆34Updated 5 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated last month
• Verites / verigraph
  Software specification and verification system based on graph rewriting
  ☆37Updated 3 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last month
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆36Updated last year
• maude-team / MFE
  Maude Formal Environment
  ☆17Updated 5 years ago
• eprover / eprover
  ☆158Updated 2 weeks ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• alviano / wasp
  ☆22Updated last year
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆62Updated last year
• sllam / comingle
  CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles
  ☆33Updated 9 years ago
• prologbyexample / code
  ☆31Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆77Updated 5 months ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆66Updated 4 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated 2 weeks ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆53Updated 5 months ago
• motib / LearnSAT
  SAT solver for education
  ☆26Updated 3 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 2 years ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year