Fabien Hermenier

icon indicating a website link https://fhermeni.github.io icon indicating an email [email protected]

icon company Nutanix inc. icon location Grasse icon location Senior Staff member @ Nutanix -- On leave from Associate Professor @ University Nice Sophia Antipolis Doing resource management in cloud computing

Results 4 issues of Fabien Hermenier

IStateIntVector.size() removed from choco-solver-4.0.5

2 comment

Hi It is no longer possible to know the size of my vector, this is a bit annoying because you already store that data. Now, I have to maintain that...

cost_regular documentation

1 comment

Hi I plan to use cost_regular for a new project. The documentation of the signature is not very confortable. Especially in the CostAutomaton where there is no javadoc at all...

regular

SparseBitSet for a backtrackable bitset with mostly 0s.

1 comment

This implementation for IStateBitSet targets backtrackable bitsets that mostly contains 0. For non-dense bitsets, this implementation is more efficient in terms of memory usage as bitsets are allocated per region...

[BUG] OneWord*SBitSet.nextClearBit() is incorrect + safety issue

1 comment

The following snippet illustrates 2/3 issues with choco 4.10.8: ``` final IEnvironment env = new EnvironmentTrailing(); final IStateBitSet b64 = new OneWordS64BitSet(env, 12); final IStateBitSet b32 = new OneWordS32BitSet(env, 1);...

bug