reverie / python-automata
A Python library for working with finite state automata.
☆26Updated 13 years ago
Related projects ⓘ
Alternatives and complementary repositories for python-automata
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆24Updated 5 months ago
- Specify and synthesize systems using symbolic algorithms☆46Updated 3 weeks ago
- ⚙️ A conflict-driven nogood learning answer set solver☆117Updated this week
- Metamath verifier in Python☆34Updated 7 months ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago
- Pedagogical first-order prover in Python☆73Updated 2 weeks ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- The Stochastic Local Search SAT Solver from UBC☆29Updated 2 years ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 10 years ago
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆34Updated 3 months ago
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- Synthesis Format Conversion Tool☆23Updated 3 months ago
- Sequitur and RePair grammar induction algorithms implementation☆24Updated 11 months ago
- Theory propagator for linear programming using clingo theory language and interface.☆10Updated 2 years ago
- A research platform and active library for generalised SAT solving☆33Updated last month
- LibPoly is a C library for manipulating polynomials☆46Updated last month
- Rigorous Global Branch-and-Bound Optimizer☆21Updated 6 months ago
- ☆72Updated 3 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆19Updated last year
- Theorem proving in Lean☆48Updated last month
- The LTSmin model checking toolset☆53Updated 3 weeks ago
- Automatically exported from code.google.com/p/sequitur☆49Updated 4 months ago
- Python Module for Logical Validation (forked from Rob Truxler library)☆25Updated 4 years ago
- A benchmark library for constraints☆85Updated last month
- Some fun examples of solving problems with symbolic execution☆112Updated 6 years ago
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- ☆58Updated 10 years ago
- Simple recursive and iterative SAT solver written in Python.☆123Updated 5 years ago