FAdo - v.1.1



- FL.ADFA.minDFCA() corrected with the addition of ADFA.forceToDCFA()
- Random generation via cfg bug fixed
- ICDFArndIncomplete bug fixed
- xre fixed with context for negation
- fa.DFA.hasTrapStateP() added
- ICDFA random generator flag bug fixed
- ICDFA random generators now written in python
- New display methods to be usable inside IPython notebooks
- Problems in Linux instalation
- SFT.evalWordP() was returning the negation of what it should.
- Random generators reimplemented to be available in python only installation.