Alternatives and similar repositories for atompm:

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

• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 2 years ago
• cea-hpc / NabLab
  Full-fledged industrial environment for scientific computing and High Performance Computing
  ☆18Updated last year
• potassco / clingcon
  ⛓️ Extension of clingo to handle constraints over integers
  ☆25Updated this week
• lip6 / libDDD
  Library for Data Decision Diagrams and Set Decision Diagrams
  ☆14Updated 4 months ago
• diverse-project / k3
  action language providing open class mechanism to xtend/java
  ☆25Updated last year
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆56Updated 2 months ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated last year
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆23Updated 6 months ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated 2 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆43Updated 3 months ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆26Updated 2 years ago
• fadoss / maude-bindings
  Language bindings for Maude
  ☆20Updated 2 weeks ago
• gemoc / gemoc-studio-old
  ☆12Updated 6 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆41Updated 2 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 6 months ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆42Updated 8 months ago
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆14Updated last month
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆77Updated last year
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 4 years ago
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆57Updated 11 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆47Updated 2 months ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆65Updated this week
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆10Updated 3 years ago
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 3 years ago
• ths-rwth / smtrat
  ☆52Updated last month
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆18Updated last month
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆142Updated this week