LTL formulas generation for a Finite State Automaton using genetic programming (with ECJ).
Use "make" to compile. Use "make run" to run. Note than it requires "ecj.22.jar" and "verifier.jar" libraries to be in "resources" directory. Note that during execution it requires "c-lib" directory to be in the current directory of a process.