Skip to content

Actions: CPMpy/cpmpy

Actions

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

add transform function Github Tests #1334: Commit d4e0351 pushed by Wout4
October 11, 2023 14:15 2m 44s glasgowconstraintsolver
glasgowconstraintsolver
October 11, 2023 14:15 2m 44s
Merge branch 'master' into glasgowconstraintsolver Github Tests #1333: Commit 410c939 pushed by Wout4
October 11, 2023 13:29 2m 11s glasgowconstraintsolver
glasgowconstraintsolver
October 11, 2023 13:29 2m 11s
use is_boolexpr is stead of .is_bool Github Tests #1332: Commit 380e640 pushed by Wout4
October 11, 2023 12:49 8m 56s adding-choco
adding-choco
October 11, 2023 12:49 8m 56s
Merge branch 'master' into adding-choco Github Tests #1331: Commit 20fa465 pushed by Wout4
October 11, 2023 10:34 3m 58s adding-choco
adding-choco
October 11, 2023 10:34 3m 58s
small changes Github Tests #1330: Commit 8a237ad pushed by Wout4
October 11, 2023 10:28 3m 15s decompose_linearize
decompose_linearize
October 11, 2023 10:28 3m 15s
Canonical comparison Implied (#422) Github Tests #1329: Commit 2bef390 pushed by Wout4
October 11, 2023 10:14 3m 9s master
master
October 11, 2023 10:14 3m 9s
new linear circuit decomp that actually works :) Github Tests #1328: Commit f8f10f4 pushed by Wout4
October 10, 2023 12:47 3m 15s decompose_linearize
decompose_linearize
October 10, 2023 12:47 3m 15s
whoops Github Tests #1327: Commit 84c2026 pushed by IgnaceBleukx
October 10, 2023 11:46 3m 11s tree_quickxplain
tree_quickxplain
October 10, 2023 11:46 3m 11s
add quickxplain to tools and refactor algo Github Tests #1326: Commit 4852207 pushed by IgnaceBleukx
October 10, 2023 11:44 4m 20s tree_quickxplain
tree_quickxplain
October 10, 2023 11:44 4m 20s
sudoku example, add cell for pip install also add visualisation libra… Github Tests #1325: Commit 25b8a79 pushed by tias
October 10, 2023 11:42 3m 10s master
master
October 10, 2023 11:42 3m 10s
Github Tests Github Tests #1324: by Wout4
October 9, 2023 14:04 3m 51s 392-reified-element-constraints-do-not-get-handled-correctly
392-reified-element-constraints-do-not-get-handled-correctly
October 9, 2023 14:04 3m 51s
Github Tests Github Tests #1323: by Wout4
October 9, 2023 14:00 4m 28s 392-reified-element-constraints-do-not-get-handled-correctly
392-reified-element-constraints-do-not-get-handled-correctly
October 9, 2023 14:00 4m 28s
make circuit total function (bounds-wise) since it uses element Github Tests #1322: Commit bf3e414 pushed by Wout4
October 9, 2023 13:42 3m 18s 392-reified-element-constraints-do-not-get-handled-correctly
392-reified-element-constraints-do-not-get-handled-correctly
October 9, 2023 13:42 3m 18s
missing argument Github Tests #1321: Commit cc10b9e pushed by Wout4
October 9, 2023 13:20 3m 6s decompose_linearize
decompose_linearize
October 9, 2023 13:20 3m 6s
Merge branch 'master' into canonical-comparison-reification Github Tests #1320: Commit 82e6ba5 pushed by Dimosts
October 6, 2023 13:38 3m 11s canonical-comparison-reification
canonical-comparison-reification
October 6, 2023 13:38 3m 11s
Cover implied comparison case Github Tests #1319: Commit e7fae22 pushed by Dimosts
October 6, 2023 13:35 3m 13s canonical-comparison-reification
canonical-comparison-reification
October 6, 2023 13:35 3m 13s
Merge branch 'master' into adding-choco Github Tests #1318: Commit 6929757 pushed by Dimosts
October 6, 2023 12:56 3m 10s adding-choco
adding-choco
October 6, 2023 12:56 3m 10s
handle reification of comparison in canonical_comparison (#421) Github Tests #1317: Commit 0512c44 pushed by Wout4
October 6, 2023 12:04 3m 26s master
master
October 6, 2023 12:04 3m 26s
handle reification of comparison in canonical_comparison Github Tests #1316: Commit 4f7dbae pushed by Dimosts
October 6, 2023 11:11 3m 26s canonical-comparison-reification
canonical-comparison-reification
October 6, 2023 11:11 3m 26s
Solution hinting fix, when giving N-D variables and values (#408) Github Tests #1315: Commit bef513f pushed by Dimosts
October 6, 2023 11:11 3m 15s canonical-comparison-reification
canonical-comparison-reification
October 6, 2023 11:11 3m 15s
Merge branch 'master' into adding-choco Github Tests #1314: Commit 5125901 pushed by Dimosts
October 6, 2023 11:06 3m 45s adding-choco
adding-choco
October 6, 2023 11:06 3m 45s
xor decomp Github Tests #1313: Commit ed4d831 pushed by Wout4
October 5, 2023 12:46 3m 8s decompose_linearize
decompose_linearize
October 5, 2023 12:46 3m 8s
xor decomp Github Tests #1312: Commit fb67064 pushed by Wout4
October 5, 2023 12:42 3m 10s decompose_linearize
decompose_linearize
October 5, 2023 12:42 3m 10s
add decompose_linear Github Tests #1311: Commit b63e93f pushed by Wout4
October 5, 2023 12:28 3m 3s decompose_linearize
decompose_linearize
October 5, 2023 12:28 3m 3s
refactor indicator constraints Github Tests #1310: Commit d6e10f6 pushed by IgnaceBleukx
October 3, 2023 11:56 3m 1s scip2
scip2
October 3, 2023 11:56 3m 1s
ProTip! You can narrow down the results and go further in time using created:<2023-10-03 or the other filters available.