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
  ☆444Updated last week
• whitemech / pythomata
  A Python package for automata theory.
  ☆59Updated 2 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆542Updated 7 months ago
• python-constraint / python-constraint
  Constraint Solving Problem resolver for Python
  ☆505Updated 2 weeks ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆191Updated 5 months ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆221Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆414Updated 2 years ago
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆189Updated 2 years ago
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆280Updated 4 years ago
• DES-Lab / AALpy
  An Automata Learning Library Written in Python
  ☆205Updated last week
• qntm / greenery
  Regular expression manipulation library
  ☆391Updated 4 months ago
• MiniZinc / minizinc-python
  Access to all MiniZinc functionality directly from Python
  ☆201Updated last month
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆215Updated last month
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆128Updated 3 years ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆626Updated 4 months ago
• MassimoLauria / cnfgen
  CNF generator in DIMACS format. It produces common families of CNFs.
  ☆70Updated 5 months ago
• xcsp3team / pycsp3
  A Python Library for modeling combinatorial constrained problems
  ☆81Updated 3 weeks ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• pythological / kanren
  An extensible, lightweight relational/logic programming DSL written in pure Python
  ☆236Updated 5 months ago
• blingenf / copydetect
  Code plagiarism detection tool
  ☆318Updated last year
• RussAbbott / pylog
  pylog: an implementation of Prolog features in Python
  ☆36Updated last year
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆392Updated 4 months ago
• dselsam / neurosat
  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
  ☆290Updated 6 years ago
• drvinceknight / Nashpy
  A python library for 2 player games.
  ☆362Updated 2 months ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated 2 years ago
• orsinium-labs / python-lambda-calculus
  Lambda Calculus things implemented on Python
  ☆90Updated 6 years ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆378Updated this week
• vitsalis / PyCG
  Static Python call graph generator
  ☆363Updated 2 years ago
• steynvl / inferrer
  An automata learning library written in Python.
  ☆48Updated 5 years ago