Ticket #2 (new enhancement)
replace automaton code with HaLeX?
|Reported by:||kowey||Owned by:||somebody|
This may affect the polarity automaton performance, but (a) probably not by much and (b) it would only be overhead. The really important thing is to be fanatical about keeping GenI minimalistic