automatalib
automatalib copied to clipboard
LearnLib
A free, open-source Java library for modeling automata, graphs, and transition systems
Due to the limitation of OS, long LTL formulas cannot be fed via the command line. This PR modifies to feed LTL formulas via a temporary file so that long...
With Java 17, we have a new LTS version of Java that should be tested continuously.
The following code snippet creates and then minimizes a simple DFA: ``` public static void main(String[] args) throws IOException { CompactDFA dfa = new CompactDFA(new ArrayAlphabet("e1", "e2", "e3")); int s0...
Implement support for register automata (as defined by Cassel et al.) and extensions (Register Mealy Machines etc.). Required for [LearnLib Issue #3](https://github.com/LearnLib/learnlib/issues/3)
Add trim and reverse methods for NFAs. (Reverse could be useful in theory for DFAs to NFAs, as well.) I tried to make these generic, but got stuck in basically...
Java 17 and Maven 3.9.5 There is issue while installing the automatalib --> mvn clean install
