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
  ☆427Updated this week
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆520Updated last month
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆190Updated 4 months ago
• python-constraint / python-constraint
  Constraint Solving Problem resolver for Python
  ☆480Updated 2 weeks ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆408Updated 2 years ago
• qntm / greenery
  Regular expression manipulation library
  ☆367Updated last year
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated last year
• whitemech / pythomata
  A Python package for automata theory.
  ☆56Updated last year
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆616Updated 3 weeks ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆126Updated 2 years ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆201Updated 2 months ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆165Updated 3 months ago
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆68Updated last month
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆44Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated last month
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆220Updated 11 months ago
• aleaxit / gmpy
  General Multi-Precision arithmetic for Python 2.6+/3+ (GMP, MPIR, MPFR, MPC)
  ☆557Updated 2 weeks ago
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆185Updated 2 years ago
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated last year
• meelgroup / approxmc
  Approximate Model Counter
  ☆78Updated last week
• dselsam / neurosat
  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
  ☆285Updated 6 years ago
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆83Updated last year
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆264Updated 4 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆224Updated 3 months ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆66Updated 11 months ago
• pberkes / big_O
  Python module to estimate big-O time complexity from execution time
  ☆336Updated 2 years ago
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆52Updated 2 months ago
• Oneiroe / PySimpleAutomata
  Academic Python Library to manage DFA, NFA and AFW automata.
  ☆24Updated last year