Skip to content
amd64 Linux CMake SCIP OFF

[CP-SAT] speedup on constraint_violation; cleanup clause invariants; … #424

Sign in to view logs

[CP-SAT] speedup on constraint_violation; cleanup clause invariants; …

[CP-SAT] speedup on constraint_violation; cleanup clause invariants; … #424

Run time

Learn about OS pricing on GitHub Actions
Job Run time
linux_cpp
54m 28s
linux_dotnet
1h 6m 31s
linux_python
56m 50s
linux_java
1h 0m 22s
3h 58m 11s