Alternatives and similar repositories for automata:

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

• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆236Updated 3 years ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆584Updated 2 weeks ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆54Updated last year
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆407Updated 3 weeks ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆92Updated last year
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆102Updated 2 years ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆47Updated 4 months ago
• steynvl / inferrer
  An automata learning library written in Python.
  ☆49Updated 4 years ago
• automatarium / automatarium
  A place for automata
  ☆73Updated 5 months ago
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆24Updated 10 months ago
• lewiuberg / visual-automata
  Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
  ☆56Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆393Updated last year
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆60Updated 7 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆252Updated 3 years ago
• qntm / greenery
  Regular expression manipulation library
  ☆350Updated 8 months ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• vprover / vampire
  The Vampire Theorem Prover
  ☆325Updated this week
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆184Updated 2 weeks ago
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆63Updated 9 months ago
• aleaxit / gmpy
  General Multi-Precision arithmetic for Python 2.6+/3+ (GMP, MPIR, MPFR, MPC)
  ☆536Updated this week
• msoos / cryptominisat
  An advanced SAT solver
  ☆837Updated last week
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆212Updated 2 weeks ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆144Updated this week
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆64Updated 5 months ago
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆53Updated 7 years ago
• trolando / oink
  Oink, an implementation of modern parity game solvers
  ☆32Updated last month
• drvinceknight / Nashpy
  A python library for 2 player games.
  ☆339Updated 10 months ago
• john-science / mazelib
  A Python library for creating and solving mazes.
  ☆248Updated 3 months ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆76Updated last year
• wo / tpg
  Tree Proof Generator
  ☆161Updated 2 weeks ago