chocoteam / chocoteam/choco-solver

5.0.0-beta.1 - setting Settings.init().setLCG(true) JUnit case doesn't work

Open
#1,176 4 comments 0 reactions 0 assignees View on GitHub
bug
Dominant language
Java
Stars
779
Forks
159
Avg merge
6d 9h
Merged PRs (30d)
10

Description

Try to use 5.0.0-beta.1.

If I'm setting `Settings.init().setLCG(true)` to the model here:
- https://github.com/axkr/symja_android_library/blob/fadbe4c04dfe1e3ea8ba3bfc5d97b5663b2c702e/symja_android_library/matheclipse-core/src/main/java/org/matheclipse/core/convert/ChocoConvert.java#L164

The following JUnit case doesn't work anymore:
- https://github.com/axkr/symja_android_library/blob/fadbe4c04dfe1e3ea8ba3bfc5d97b5663b2c702e/symja_android_library/matheclipse-core/src/test/java/org/matheclipse/core/system/SolveTest.java#L1592

```java
@Test
public void testIssue685() {
check("Solve({a*b + c == 2020, a + b*c == 2021},{a,b,c},Integers)", //
"{{a->673,b->2,c->674},{a->2021,b->0,c->2020}}");
}
```

Is there a method to decide then to use `Settings.init().setLCG(true)`?

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.