chocoteam/website

Store Hugo's content and other source file of Choco-solver website.

website's Issues

Constraints over integer variables

In https://choco-solver.org/docs/modeling/intconstraints/#binary-and-ternary-constraints
shouldn't I read in the Note the use of intScaleView() instead of intOffsetView() ?

Thanks

intScaleView

Expected behavior

Actual behavior

Possible Solution

Steps to Reproduce (for bugs)

Context

Environment

• Choco-solver version:
• Java version:
• Link to your project:

LNS not correct

See chocoteam/choco-solver#1039

Search Strategies

chocoteam/choco-solver#999

Declaring variables

Hi,

In part Logical views (https://choco-solver.org/docs/modeling/variables/#logical-views) shouldn't we read:

BoolVar b

instead of

BoolVar x

?

Thanks

Expected behavior

Actual behavior

Possible Solution

Steps to Reproduce (for bugs)

Context

Environment

• Choco-solver version:
• Java version:
• Link to your project:

Version 4.10.3 is not working

version number should be updated to 4.10.8 !

<dependency>
            <groupId>org.choco-solver</groupId>
            <artifactId>choco-solver</artifactId>
            <version>4.10.8</version>
</dependency>

Minimum required Java version?

The "Getting Started" page mentions Java 11 while the README mentions JDK8+. The last release to mention a change in JDK version is 4.10.3, which mentions compatibility with JDK8 and JDK9+.

Is the latest release of Choco Solver compatible with JDK8? If so, the documentation should probably be updated.

Constraints over real variables

Math tags not supported

Tutorials : Golomb Ruler

Math:

1. '+' missing, 3 lines
   for all i,j diff_i,j = diff_i,i+1 ... diff_j-1,j -> diff_i,i+1 + ... + diff_j-1,j
   and the 2 other lines containing "..."

2. diif_1,m = diff_1,2 + ... + diff_i,j + ... + diff_m-1,m
   diff_i,j -> diff_i,i+1

3. idem for tick_m

Constraints over real variables

Examples are wrong

Documentation little improvement

Hi!

I do not have a technical problem, but about this documentation page,

I thought it can be a good idea to put more exemples in the section "Large Neighborhood Search".
More, in the sentence "One can define its own neighbor by extending the abstract class INeighbor. It forces to implements the following methods" Who's "One" (first word) ? According to the fact that it's the first sentence of the section, it probably need more explanation.

Hope it can help you to improve this already really helpfull documentation. All my apologies about English mistakes, it's not my native language ...

Best regards,
hbonnavaud