Alternatives and similar repositories for PySimpleAutomata:

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

• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆113Updated 8 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆47Updated 3 months ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆144Updated this week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆74Updated last month
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 3 months ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆166Updated this week
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated 2 years ago
• tcsprojects / pgsolver
  A collection of tools for generating, manipulating and - most of all - solving parity games.
  ☆35Updated 6 months ago
• liffiton / MARCO
  A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.
  ☆17Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated last year
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆76Updated last year
• tyler-utah / PBDD
  A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…
  ☆14Updated 11 years ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• slebok / zoo
  Grammar Zoo
  ☆85Updated 6 years ago
• will62794 / endive
  Tool for automatically inferring inductive invariants of distributed protocols.
  ☆14Updated 4 months ago
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆18Updated 6 months ago
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆92Updated this week
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆42Updated last year
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆94Updated this week
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• fredfeng / Trinity
  ☆24Updated 3 years ago
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 6 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 6 months ago
• eprover / eprover
  ☆137Updated this week
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 4 months ago
• RobYang1024 / OCaMOSS
  Final project code for 3110, MOSS implementation using OCaml
  ☆25Updated 3 years ago
• gkastrinis / panda
  A Datalog compiler and library
  ☆19Updated 3 years ago
• vardigroup / lisa
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Updated 3 years ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆120Updated 2 years ago