Skip to content

Actions: CPMpy/cpmpy

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,001 workflow runs
1,001 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

canonical comparison transformation
Github Tests #1259: Commit dee6f24 pushed by Dimosts
September 19, 2023 12:14 3m 42s canonical-and-reify-rewrite
September 19, 2023 12:14 3m 42s
only_bv_reifies
Github Tests #1258: Commit 278c001 pushed by Dimosts
September 19, 2023 12:09 3m 22s canonical-and-reify-rewrite
September 19, 2023 12:09 3m 22s
correct solveAll count
Github Tests #1257: Commit 63f2b23 pushed by Dimosts
September 19, 2023 12:06 3m 7s canonical-and-reify-rewrite
September 19, 2023 12:06 3m 7s
False not removed by linearize
Github Tests #1256: Commit 501a9f8 pushed by Dimosts
September 19, 2023 12:03 4m 0s canonical-and-reify-rewrite
September 19, 2023 12:03 4m 0s
remove typo
Github Tests #1255: Commit 8a8e387 pushed by Wout4
September 19, 2023 11:12 3m 37s UUID
September 19, 2023 11:12 3m 37s
use of flatlist
Github Tests #1254: Commit 1c5ef0e pushed by Dimosts
September 19, 2023 11:11 3m 3s hinting-2d
September 19, 2023 11:11 3m 3s
remove style changes
Github Tests #1253: Commit 52cd76d pushed by Wout4
September 19, 2023 10:17 1m 58s UUID
September 19, 2023 10:17 1m 58s
don't use string representation, merge linearize.py
Github Tests #1252: Commit 775e7fb pushed by Wout4
September 19, 2023 09:51 3m 12s CSE_wv
September 19, 2023 09:51 3m 12s
correct solveAll count
Github Tests #1251: Commit 63f2b23 pushed by Dimosts
September 18, 2023 19:41 4m 2s adding-choco
September 18, 2023 19:41 4m 2s
choco wants int and not np.int64
Github Tests #1250: Commit 0bb056c pushed by Dimosts
September 18, 2023 17:36 3m 13s adding-choco
September 18, 2023 17:36 3m 13s
Merge branch 'adding-choco' into removing-constraints
Github Tests #1249: Commit 3dd4574 pushed by ElFosco
September 18, 2023 16:12 3m 13s removing-constraints
September 18, 2023 16:12 3m 13s
pychoco has a bug on finding all optimal solutions
Github Tests #1248: Commit c589e1b pushed by Dimosts
September 18, 2023 15:48 4m 24s adding-choco
September 18, 2023 15:48 4m 24s
remove only_bv_implies test due to changes
Github Tests #1247: Commit a67ffc8 pushed by Dimosts
September 18, 2023 15:45 3m 8s adding-choco
September 18, 2023 15:45 3m 8s
remove part from only_bv_implies
Github Tests #1246: Commit c94ec61 pushed by Dimosts
September 18, 2023 15:21 3m 16s adding-choco
September 18, 2023 15:21 3m 16s
reification + implications + correct transformations + cover cases fo…
Github Tests #1245: Commit e7c29f5 pushed by Dimosts
September 18, 2023 13:05 3m 21s adding-choco
September 18, 2023 13:05 3m 21s
only_bv_reifies
Github Tests #1244: Commit 15d5cd2 pushed by Dimosts
September 18, 2023 13:03 3m 0s adding-choco
September 18, 2023 13:03 3m 0s
special cardinality constraints
Github Tests #1243: Commit 925e4f0 pushed by IgnaceBleukx
September 18, 2023 13:01 3m 46s scip2
September 18, 2023 13:01 3m 46s
solveAll
Github Tests #1242: Commit 4d0d7f8 pushed by IgnaceBleukx
September 18, 2023 12:29 4m 5s scip2
September 18, 2023 12:29 4m 5s
Fixes speed
Github Tests #1241: Commit 9eeacc9 pushed by ElFosco
September 18, 2023 11:58 3m 38s removing-constraints
September 18, 2023 11:58 3m 38s
first minimally working version of scip interface, thanks Mark Turner…
Github Tests #1239: Commit 64791cc pushed by tias
September 17, 2023 21:10 3m 12s scip2
September 17, 2023 21:10 3m 12s
remove unneeded checks + cover modulo extreme case
Github Tests #1238: Commit a188ba3 pushed by Dimosts
September 15, 2023 16:38 3m 22s adding-choco
September 15, 2023 16:38 3m 22s
forgotten skip
Github Tests #1237: Commit 727fb2c pushed by Dimosts
September 15, 2023 15:58 3m 4s adding-choco
September 15, 2023 15:58 3m 4s
cover all cases in tests
Github Tests #1236: Commit fc99aa3 pushed by Dimosts
September 15, 2023 15:53 3m 2s adding-choco
September 15, 2023 15:53 3m 2s
fix finding optimal solution
Github Tests #1235: Commit 8d34f71 pushed by Dimosts
September 15, 2023 13:47 3m 50s adding-choco
September 15, 2023 13:47 3m 50s
ProTip! You can narrow down the results and go further in time using created:<2023-09-15 or the other filters available.