Alternatives and similar repositories for PySimpleAutomata

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

• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 5 years ago
• 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
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆51Updated last year
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆85Updated 2 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated last year
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 2 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 4 years ago
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 6 years ago
• igordejanovic / parglare
  A pure Python LR/GLR parser - http://www.igordejanovic.net/parglare/
  ☆145Updated last week
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆178Updated 2 weeks ago
• slebok / zoo
  Grammar Zoo
  ☆96Updated 6 years ago
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆115Updated last year
• sampsyo / minisynth
  program synthesis is possible
  ☆40Updated 6 years ago
• whitemech / lydia
  A tool for LDLf translation to DFA and for LDLf synthesis.
  ☆23Updated 2 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆30Updated last year
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆77Updated 5 months ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆130Updated last week
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• panyam / astgen
  A generic AST generator for parser development.
  ☆33Updated 6 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆86Updated 4 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆14Updated 10 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆99Updated 4 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated last week
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated 2 years ago
• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 3 years 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
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆53Updated 5 years ago