Alternatives and similar repositories for automata

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

• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆526Updated 2 months ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆57Updated last year
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆432Updated this week
• python-constraint / python-constraint
  Constraint Solving Problem resolver for Python
  ☆483Updated last month
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆241Updated 3 years ago
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆187Updated 2 years ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆203Updated this week
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆269Updated 4 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆97Updated 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.
  ☆122Updated 5 months ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆177Updated this week
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆127Updated 2 years ago
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆193Updated last week
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆24Updated last year
• wo / tpg
  Tree Proof Generator
  ☆171Updated 6 months ago
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆73Updated 2 weeks ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆411Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 3 months ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆616Updated 2 weeks ago
• automatarium / automatarium
  A place for automata
  ☆77Updated this week
• steynvl / inferrer
  An automata learning library written in Python.
  ☆48Updated 5 years ago
• citiususc / jflap-lib
  An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
  ☆55Updated 7 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆152Updated last week
• MichaelStott / SimplexSolver
  Python script that solves standard linear programs with the Simplex algorithm and outputs step-by-step LaTeX instructions.
  ☆80Updated last year
• qntm / greenery
  Regular expression manipulation library
  ☆370Updated last year
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• vprover / vampire
  The Vampire Theorem Prover
  ☆349Updated this week
• dabeaz / sly
  Sly Lex Yacc
  ☆854Updated last year
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆66Updated last year