chocoteam / chocoteam/choco-solver
5.0.0-beta.1 - setting Settings.init().setLCG(true) JUnit case doesn't work
- 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
Assessment
This issue has not been assessed yet.