chocoteam / chocoteam/choco-solver
Very large FiniteAutomaton
Open
- Dominant language
- Java
- Stars
- 779
- Forks
- 159
- Avg merge
- 6d 9h
- Merged PRs (30d)
- 10
Description
Hi,
I'm currently upgrading from Choco 2 to Choco 4.
I used to manipulate very large FiniteAutomaton (aka DFA in Choco2), with more than 100.000 states. It used to work on Choco2. It doesn't anymore.
`Exception in thread "Thread-0" org.chocosolver.solver.exception.SolverException: Unknown value "127436". Note that only integers in [0,65535] are allowed by FiniteAutomaton.`
Should I come back to Choco 2 ?
Thanks for your help.
Contributor guide
Assessment
This issue has not been assessed yet.