Skip to content

Actions: CPMpy/cpmpy

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

canonical_comparison after flatten Github Tests #1308: Commit fc4c917 pushed by Dimosts
October 2, 2023 14:45 3m 12s adding-choco
adding-choco
October 2, 2023 14:45 3m 12s
Solution hinting fix, when giving N-D variables and values (#408) Github Tests #1307: Commit bef513f pushed by Wout4
October 2, 2023 11:12 3m 56s master
master
October 2, 2023 11:12 3m 56s
Merge branch 'master' into adding-choco Github Tests #1306: Commit e432e27 pushed by Wout4
October 2, 2023 11:08 3m 12s adding-choco
adding-choco
October 2, 2023 11:08 3m 12s
remove unused import Github Tests #1305: Commit c07ffd3 pushed by Wout4
October 2, 2023 11:06 3m 6s hinting-2d
hinting-2d
October 2, 2023 11:06 3m 6s
Canonical_comparison and only_bv_reifies (#414) Github Tests #1304: Commit 379e17f pushed by Wout4
September 28, 2023 15:28 4m 6s master
master
September 28, 2023 15:28 4m 6s
test canonical comparison Github Tests #1303: Commit deb5437 pushed by Wout4
September 28, 2023 11:30 3m 19s canonical-and-reify-rewrite
canonical-and-reify-rewrite
September 28, 2023 11:30 3m 19s
no simplify bool in minizinc and z3 (#417) Github Tests #1302: Commit a740ff4 pushed by Wout4
September 28, 2023 11:00 3m 18s master
master
September 28, 2023 11:00 3m 18s
keep normalized_boolexpr instead of only normalized_numexpr Github Tests #1301: Commit 55b226c pushed by Wout4
September 27, 2023 09:12 3m 45s remove-unused-parts
remove-unused-parts
September 27, 2023 09:12 3m 45s
remove bool == int code from flatten that is now in simplify_bool Github Tests #1300: Commit c81cce6 pushed by Wout4
September 27, 2023 08:56 4m 7s remove-unused-parts
remove-unused-parts
September 27, 2023 08:56 4m 7s
Revert to previous commit Github Tests #1299: Commit 8574e1a pushed by ElFosco
September 25, 2023 08:22 4m 31s removing-constraints
removing-constraints
September 25, 2023 08:22 4m 31s
Merge branch 'canonical-and-reify-rewrite' into adding-choco Github Tests #1298: Commit ab72835 pushed by Dimosts
September 24, 2023 14:18 4m 0s adding-choco
adding-choco
September 24, 2023 14:18 4m 0s
dealing with sub Github Tests #1297: Commit e2a7835 pushed by Dimosts
September 24, 2023 14:18 3m 46s canonical-and-reify-rewrite
canonical-and-reify-rewrite
September 24, 2023 14:18 3m 46s
dealing with 'sub' Github Tests #1296: Commit 9c49237 pushed by Dimosts
September 24, 2023 14:17 3m 16s adding-choco
adding-choco
September 24, 2023 14:17 3m 16s
Merge branch 'canonical-and-reify-rewrite' into adding-choco Github Tests #1295: Commit 4f72f47 pushed by Dimosts
September 24, 2023 13:27 3m 1s adding-choco
adding-choco
September 24, 2023 13:27 3m 1s
Move -IV (operator) correctly to lhs Github Tests #1294: Commit d53dcb6 pushed by Dimosts
September 24, 2023 13:23 4m 13s canonical-and-reify-rewrite
canonical-and-reify-rewrite
September 24, 2023 13:23 4m 13s
add quickxplain Github Tests #1293: Commit 3fef0ec pushed by IgnaceBleukx
September 22, 2023 14:58 4m 12s tree_quickxplain
tree_quickxplain
September 22, 2023 14:58 4m 12s
time limit + finding all optimal solutions Github Tests #1292: Commit e80f8b0 pushed by Dimosts
September 22, 2023 14:02 3m 9s adding-choco
adding-choco
September 22, 2023 14:02 3m 9s
no simplify bool in minizinc and z3 Github Tests #1291: Commit 163d124 pushed by Wout4
September 22, 2023 11:42 3m 3s no_simplify_bool_miniz3
no_simplify_bool_miniz3
September 22, 2023 11:42 3m 3s
cover case for sub Github Tests #1290: Commit 5112111 pushed by Dimosts
September 22, 2023 09:16 3m 7s canonical-and-reify-rewrite
canonical-and-reify-rewrite
September 22, 2023 09:16 3m 7s
change order of transform Github Tests #1289: Commit 3c74253 pushed by Dimosts
September 22, 2023 09:15 3m 21s adding-choco
adding-choco
September 22, 2023 09:15 3m 21s
to_var() + covering cases in input for constraints Github Tests #1288: Commit 351615d pushed by Dimosts
September 21, 2023 16:25 3m 57s adding-choco
adding-choco
September 21, 2023 16:25 3m 57s
np.array().tolist() Github Tests #1287: Commit bb259ed pushed by Dimosts
September 21, 2023 15:39 3m 7s adding-choco
adding-choco
September 21, 2023 15:39 3m 7s
fix count() Github Tests #1286: Commit 8f4c4b3 pushed by Dimosts
September 21, 2023 15:37 4m 15s adding-choco
adding-choco
September 21, 2023 15:37 4m 15s
minor Github Tests #1285: Commit d22040c pushed by Dimosts
September 21, 2023 15:23 4m 5s adding-choco
adding-choco
September 21, 2023 15:23 4m 5s
translate int to bool for bool variables Github Tests #1284: Commit 98d29f4 pushed by Dimosts
September 21, 2023 15:09 3m 12s adding-choco
adding-choco
September 21, 2023 15:09 3m 12s