Alternatives and similar repositories for mcc

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

• ahartmanns / jani-models
  A library of formal models in the jani-model format.
  ☆14Updated 3 years ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆27Updated 2 months ago
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆10Updated 10 years ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆31Updated last year
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated 2 years ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆135Updated last week
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated 3 months ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆103Updated this week
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 4 months ago
• lip6 / pnmlframework
  This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org…
  ☆13Updated last year
• Aluriak / clyngor
  Handy python wrapper around Potassco's Clingo ASP solver.
  ☆36Updated last month
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆39Updated this week
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆26Updated 2 months ago
• imitator-model-checker / imitator
  IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…
  ☆28Updated 3 weeks ago
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆23Updated 2 years ago
• nicolasAmat / SMPT
  SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…
  ☆29Updated 7 months ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆62Updated 2 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆160Updated this week
• jahierwan / lustre-examples
  Some Lustre program examples
  ☆22Updated 7 months ago
• pyecore / pyecore
  A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)
  ☆183Updated last year
• potassco / clinguin
  🐧 Clingo Interactive UI
  ☆29Updated 2 weeks ago
• fslivovsky / qute
  Qute: a dependency learning QBF solver.
  ☆14Updated last month
• eprover / eprover
  ☆164Updated 2 weeks ago
• potassco / clorm
  🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
  ☆65Updated 6 months ago
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆86Updated 2 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆34Updated last week
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 5 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆80Updated 8 months ago
• metaborg / spoofax
  Spoofax runtime
  ☆160Updated 9 months ago