caleb531 / automataLinks
A Python library for simulating finite automata, pushdown automata, and Turing machines
☆394Updated last month
Alternatives and similar repositories for automata
Users that are interested in automata are comparing it to the libraries listed below
Sorting:
- A toolkit for SAT-based prototyping in Python☆442Updated last week
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆540Updated 6 months ago
- Constraint Solving Problem resolver for Python☆500Updated 3 weeks ago
- A Python package for automata theory.☆58Updated last year
- An automated theorem prover for first-order logic.☆242Updated 4 years ago
- Python bindings to picosat (a SAT solver)☆191Updated 4 months ago
- A simple plagiarism detection tool for python code☆189Updated 2 years ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆280Updated 4 years ago
- A python program to build nfa, dfa and minimised DFA from given regular expression. Uses Tkinter for GUI and GraphViz for graphs.☆123Updated 8 months ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆415Updated 2 years ago
- pySMT: A library for SMT formulae manipulation and solving☆624Updated 3 months ago
- A Python library for creating and solving mazes.☆266Updated 9 months ago
- Regular expression manipulation library☆390Updated 3 months ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆214Updated 3 weeks ago
- A python library to manipulate formal languages and various automata☆56Updated 3 months ago
- A Python Library for modeling combinatorial constrained problems☆78Updated last week
- Python module to estimate big-O time complexity from execution time☆343Updated 2 years ago
- Tree Proof Generator☆177Updated 10 months ago
- Resolution theorem proving for predicate logic in pure Python.☆96Updated 2 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆56Updated 7 years ago
- Lambda Calculus things implemented on Python☆90Updated 6 years ago
- Static Python call graph generator☆361Updated 2 years ago
- An Automata Learning Library Written in Python☆205Updated last month
- Access to all MiniZinc functionality directly from Python☆199Updated 2 weeks ago
- The main development version of the PRISM model checker.☆180Updated last month
- Automated generation of planar geometry olympiad problems☆100Updated last month
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆387Updated 3 months ago
- A Modern Probabilistic Model Checker☆158Updated last week
- ☆306Updated last month