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
  ☆419Updated last month
• 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
• whitemech / pythomata
  A Python package for automata theory.
  ☆56Updated last year
• steynvl / inferrer
  An automata learning library written in Python.
  ☆49Updated 5 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆93Updated last year
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆24Updated last year
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆508Updated 4 months ago
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆180Updated 2 weeks ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆188Updated last month
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆48Updated last month
• vitsalis / PyCG
  Static Python call graph generator
  ☆339Updated last year
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆237Updated 3 years ago
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆339Updated last month
• rohaquinlop / automathon
  A Python library for simulating and visualizing finite automata
  ☆66Updated 3 months ago
• coetaur0 / staticfg
  Python3 control flow graph generator
  ☆202Updated 2 years ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆158Updated 2 months ago
• we-like-parsers / pegen_experiments
  Experiments for the official PEG parser generator for Python
  ☆279Updated last year
• orsinium-labs / python-lambda-calculus
  Lambda Calculus things implemented on Python
  ☆85Updated 5 years ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆100Updated last year
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆122Updated 2 years ago
• dselsam / neurosat
  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
  ☆282Updated 6 years ago
• python-constraint / python-constraint
  Constraint Solving Problem resolver for Python
  ☆463Updated 2 weeks ago
• mutpy / mutpy
  MutPy is a mutation testing tool for Python 3.x source code
  ☆350Updated last year
• LearnLib / learnlib
  A free, open-source Java library for automata learning algorithms
  ☆215Updated last month
• 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 3 weeks ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆65Updated 7 months ago
• niklasso / minisat
  A minimalistic and high-performance SAT solver
  ☆1,063Updated 11 months ago
• microsoft / DeepCoder-Utils
  Utilities used in the experiments for the DeepCoder paper (ICLR'17)
  ☆61Updated 2 years ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆590Updated last week
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆428Updated this week