Alternatives and similar repositories for automata:

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

• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆416Updated 2 weeks ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆185Updated last week
• t-dillon / tdoku
  A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
  ☆214Updated 8 months ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆157Updated last month
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆178Updated this week
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆237Updated 3 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆253Updated 3 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆55Updated last year
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆38Updated last year
• wo / tpg
  Tree Proof Generator
  ☆164Updated last month
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆48Updated 2 weeks ago
• coetaur0 / staticfg
  Python3 control flow graph generator
  ☆199Updated 2 years ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆586Updated last week
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆193Updated this week
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆24Updated last year
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆250Updated last year
• ciaranm / glasgow-subgraph-solver
  A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
  ☆74Updated last month
• RalfRothenberger / Power-Law-Random-SAT-Generator
  Power Law Random k-SAT Generator
  ☆14Updated 3 years ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆100Updated last year
• sdht0 / automata-from-regex
  A python program to build nfa, dfa and minimised DFA from given regular expression. Uses Tkinter for GUI and GraphViz for graphs.
  ☆119Updated 11 years ago
• lewiuberg / visual-automata
  Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
  ☆55Updated last year
• MiniZinc / libminizinc
  The MiniZinc compiler
  ☆539Updated 3 weeks ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆397Updated last year
• MiniZinc / MiniZincIDE
  The MiniZinc IDE
  ☆148Updated 3 weeks ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆332Updated this week
• qntm / greenery
  Regular expression manipulation library
  ☆354Updated 9 months ago
• steynvl / inferrer
  An automata learning library written in Python.
  ☆49Updated 5 years ago
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆506Updated 3 months ago
• python-constraint / python-constraint
  Constraint Solving Problem resolver for Python
  ☆460Updated this week
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆65Updated 7 months ago