AToMPM / atompm

Related projects ⓘ

Alternatives and complementary repositories for atompm

• 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 2 months ago
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆13Updated this week
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆46Updated last week
• rewriting / tom
  ☆34Updated 4 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆42Updated last month
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆26Updated 2 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 8 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆45Updated last year
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆13Updated 2 years ago
• fslivovsky / qute
  Qute: a dependency learning QBF solver.
  ☆12Updated 2 months ago
• eclipse / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated 11 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated last week
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆48Updated 2 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆53Updated last week
• usethesource / clair
  C Language Analysis in Rascal
  ☆25Updated this week
• fadoss / maude-bindings
  Language bindings for Maude
  ☆19Updated 7 months ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 2 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated last month
• SteKoe / ocl.js
  The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL i…
  ☆56Updated this week
• lip6 / libDDD
  Library for Data Decision Diagrams and Set Decision Diagrams
  ☆13Updated 2 months ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆225Updated this week
• potassco / clingoLP
  Theory propagator for linear programming using clingo theory language and interface.
  ☆10Updated 2 years ago
• Strumenta / MPSServer
  ☆19Updated 11 months ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆19Updated 4 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated 9 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated last year
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆42Updated 6 months ago