choco-solver
choco-solver copied to clipboard
Regular with negative numbers
Seems to be a problem
The regular expression "<-9>1*" is not accepted since "-9" does not correspond to any Character.
Recall that Character .MIN_VALUE=
There are other troubles with FiniteAutomaton: ".*" or "[^12]" took ages to retrieve the alphabet.