choco-solver

choco-solver copied to clipboard

Regular with negative numbers

2

Seems to be a problem

jgFages

Environment could provide indicators on: - allocated space, - used space, - resize frequency. These parameters should help user to determine which configuration is the more adapter to its problem:...

cprudhom

The following code fails: ``` java Model m = new Model(); IntVar a = m.intVar("a", 0, 50), b = m.intVar("b", 0, 50); IntVar[] vars = new IntVar[] { a, b...

cprudhom

Roadmap

3

Hi there, Choco team! I'm only familiarising myself with Choco now, but it looks like an awesome piece of work. Thanks a lot for an amazing job! I would love...

si14

**Describe the bug** The lexicographic ordering is applied to a boolean representation of the set, in the form: [b0, b1, b2, b3], where b0 is the lexicographically smallest possible number...

dimitri-justeau

SparseBitSet for a backtrackable bitset with mostly 0s.

1

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...

fhermeni

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

1

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);...

fhermeni

[BUG] OutOPfMemory Error in propagator PropGraphCumulative

7

PropGraphCumulative is a propagator used by cumulative condition. This propagator uses a graph, which is backtrackable. Vertices of the graph are tasks and there is an edge between two vertices...

kristynak

Bumps [checkstyle](https://github.com/checkstyle/checkstyle) from 10.2 to 10.3.3. Release notes Sourced from checkstyle's releases. checkstyle-10.3.3 https://checkstyle.org/releasenotes.html#Release_10.3.3 checkstyle-10.3.2 https://checkstyle.org/releasenotes.html#Release_10.3.2 Bug fixes: #11736 - MissingJavadocType: Support qualified annotation names #11655 - Update google_checks.xml to...

dependabot[bot]

Bumps [maven-dependency-tree](https://github.com/apache/maven-dependency-tree) from 3.1.0 to 3.2.0. Release notes Sourced from maven-dependency-tree's releases. 3.2.0 Releas notes: https://issues.apache.org/jira/secure/ReleaseNote.jspa?projectId=12317922&version=12351759 3.1.1 What's Changed MSHARED-994 - fix collect dependencies when artifact has 'war' packaging by...

dependabot[bot]