Oneiroe / PySimpleAutomata
Academic Python Library to manage DFA, NFA and AFW automata.
☆24Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for PySimpleAutomata
- program synthesis is possible☆39Updated 5 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Updated 3 years ago
- BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)☆14Updated last week
- 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
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- The LTSmin model checking toolset☆53Updated last week
- Resolution theorem proving for predicate logic in pure Python.☆91Updated 11 months ago
- Python interpreter for TLA+ specifications☆113Updated 5 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆47Updated 4 years ago
- An automata learning library written in Python.☆49Updated 4 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 4 months ago
- A Modern Probabilistic Model Checker☆135Updated last week
- ☆15Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆32Updated last year
- A Datalog compiler and library☆19Updated 3 years ago
- ☆132Updated this week
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆15Updated last week
- Pedagogical first-order prover in Python☆73Updated this week
- Hanoi Omega-Automata Format☆14Updated last year
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆17Updated 3 months ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆9Updated 9 years ago
- RV-Monitor core system code☆16Updated 3 years ago
- Implementation of multi-core (binary) decision diagrams☆67Updated 5 months ago
- A generic AST generator for parser development.☆31Updated 5 years ago
- Type4Py: Deep Similarity Learning-Based Type Inference for Python☆61Updated last year
- ☆72Updated 3 years ago
- VATA Tree Automata Library☆32Updated 2 months ago
- A dynamic method for detecting faults in incremental and parallel builds.☆16Updated 2 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated last year