Skip to content

Actions: CPMpy/cpmpy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
143 workflow run results
143 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

correct solveAll count Github Tests #1251: Commit 63f2b23 pushed by Dimosts
September 18, 2023 19:41 4m 2s adding-choco
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
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
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
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
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
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
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
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
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
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
removing-constraints
September 18, 2023 11:58 3m 38s
update test_transf_reif.py Github Tests #1240: Commit 78b7ab0 pushed by Wout4
September 18, 2023 08:07 3m 17s 392-reified-element-constraints-do-not-get-handled-correctly
392-reified-element-constraints-do-not-get-handled-correctly
September 18, 2023 08:07 3m 17s
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
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
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
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
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
adding-choco
September 15, 2023 13:47 3m 50s
remove of only_bv_implies + add indomain + remove unneeded stuff Github Tests #1234: Commit ecf379b pushed by Dimosts
September 15, 2023 12:26 3m 7s adding-choco
adding-choco
September 15, 2023 12:26 3m 7s
remove unsupported Github Tests #1233: Commit 74f744b pushed by Dimosts
September 15, 2023 10:35 2m 59s adding-choco
adding-choco
September 15, 2023 10:35 2m 59s
solveall() + time_limit exception Github Tests #1232: Commit 2037165 pushed by Dimosts
September 15, 2023 10:25 3m 16s adding-choco
adding-choco
September 15, 2023 10:25 3m 16s
Merge branch 'master' into removing-constraints Github Tests #1231: Commit 8ceb9fd pushed by ElFosco
September 15, 2023 09:43 3m 23s removing-constraints
removing-constraints
September 15, 2023 09:43 3m 23s
correct input to Choco Github Tests #1230: Commit e93072e pushed by Dimosts
September 14, 2023 14:44 3m 9s adding-choco
adding-choco
September 14, 2023 14:44 3m 9s
Merge branch 'master' into adding-choco Github Tests #1229: Commit 5190498 pushed by Dimosts
September 14, 2023 13:10 3m 9s adding-choco
adding-choco
September 14, 2023 13:10 3m 9s
False not removed by linearize Github Tests #1228: Commit 501a9f8 pushed by IgnaceBleukx
September 14, 2023 13:09 3m 16s master
master
September 14, 2023 13:09 3m 16s
Changes Github Tests #1227: Commit 7406d23 pushed by ElFosco
September 14, 2023 13:05 3m 15s removing-constraints
removing-constraints
September 14, 2023 13:05 3m 15s