Charles Prud'homme

Hi Dmitry, Honestly, we do not have long-term roadmap. We are a short team, almost all on the same place, from now on we did not feel the need to...

Ibex is not threadsafe, so such a feature will only be available when no `RealConstraint` are declared (which may be the case for MPS files). One things that needs to...

It means that no Ibex function is declared, only scalar constraints over real variables are used. For choco-parser, when dealing with MPS files, the Ibex option has to be off...

Yes, that's a known problem. The `.` expresses that all letters from the alphabet are acceptable; in our case, all values from `Character.MIN_VALUE` to `Character.MAX_VALUE`. Then, the automaton is populated...

@JLiangWaterloo I'm not sure getting the complement is enough to define the opposite of the constraint. Indeed, `FiniteAutomaton` provides a method (`complement()`) which returns the complement of the the current...

Obviously, an easy way to patch my example is to add the letter `4` into the alphabet before getting the complement. But I'm not sure this should be done in...

@JLiangWaterloo Could you give me a bunch of code FiniteAutomaton which contains digits and is not easy to declare with available constructors?

Because, for instance, if you want to declare a regular expression where the first variable must take the value `11` and the second one the value `2`, something like ```...

@alxpgr Could you tell me if the following patch helps you to deal with specific characters? In `FiniteAutomaton`, l. 54 & 55: ``` java protected static TIntIntHashMap charFromIntMap = new...

Well, the main problem comes from the mapping between a character and the integer used to represent it in the internal data structure of FiniteAutomaton? Some characters are skipped (such...