Alternatives and similar repositories for python-automata:

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

• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆32Updated 7 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆45Updated 5 months ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆42Updated last year
• johntrimble / foil-python
  First Order Inductive Learner (FOIL) algorithm implemented in Python
  ☆51Updated 11 years ago
• conda / pycosat
  Python bindings to picosat (a SAT solver)
  ☆187Updated last week
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated 3 years ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆72Updated 10 months ago
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆24Updated 7 months ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆49Updated 5 years ago
• bwesterb / py-tarjan
  Python implementation of Tarjan's strongly connected components algorithm.
  ☆94Updated last year
• steynvl / inferrer
  An automata learning library written in Python.
  ☆49Updated 5 years ago
• mrocklin / unification
  ☆71Updated 4 years ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆20Updated last year
• eliben / asdl_parser
  Standalone ASDL parser for upstream CPython 3.x
  ☆62Updated 6 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 5 months ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆140Updated 6 years ago
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆161Updated 9 months ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• blexim / synth
  Program synthesis
  ☆12Updated 8 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆25Updated last year
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆24Updated 10 months ago
• tcsprojects / pgsolver
  A collection of tools for generating, manipulating and - most of all - solving parity games.
  ☆35Updated 7 months ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆176Updated 11 months ago
• 0xnurl / fado-python3
  A quick Python 3 port of the FAdo Project
  ☆15Updated 7 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆60Updated 2 years ago
• stassa / THELEMA
  My MSc thesis: a grammar induction system
  ☆16Updated 8 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago