Skip to content

Actions: CPMpy/cpmpy

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adding QuickXplain (#416)
Github Tests #1360: Commit 2c380db pushed by IgnaceBleukx
October 18, 2023 08:18 3m 43s master
October 18, 2023 08:18 3m 43s
update docs
Github Tests #1359: Commit a85f043 pushed by IgnaceBleukx
October 17, 2023 13:03 3m 53s tree_quickxplain
October 17, 2023 13:03 3m 53s
ChocoTypeException
Github Tests #1358: Commit 577f819 pushed by Dimosts
October 17, 2023 12:46 3m 10s adding-choco
October 17, 2023 12:46 3m 10s
Bounds and ints are int32 - checks
Github Tests #1357: Commit 01edb3a pushed by Dimosts
October 17, 2023 12:44 4m 26s adding-choco
October 17, 2023 12:44 4m 26s
replicate code to to_var and to_vars
Github Tests #1356: Commit 3692768 pushed by Dimosts
October 17, 2023 12:39 3m 54s adding-choco
October 17, 2023 12:39 3m 54s
better update for tuner, fixing #389
Github Tests #1355: Commit 1941194 pushed by IgnaceBleukx
October 17, 2023 11:57 4m 1s master
October 17, 2023 11:57 4m 1s
xor decomposition using sum
Github Tests #1354: Commit b2e7388 pushed by Wout4
October 17, 2023 11:16 3m 0s master
October 17, 2023 11:16 3m 0s
remove outdated installation instructions for mac
Github Tests #1353: Commit 4651fe4 pushed by Wout4
October 17, 2023 10:53 3m 45s master
October 17, 2023 10:53 3m 45s
Merge branch 'master' into adding-choco
Github Tests #1351: Commit 818dab2 pushed by Dimosts
October 16, 2023 11:43 3m 14s adding-choco
October 16, 2023 11:43 3m 14s
checks in to_var and to_vars
Github Tests #1350: Commit ffe5361 pushed by Dimosts
October 16, 2023 11:39 3m 15s adding-choco
October 16, 2023 11:39 3m 15s
no distributivity in flatten_model.py
Github Tests #1349: Commit d95b1a0 pushed by Wout4
October 16, 2023 11:16 3m 3s no_distributivity
October 16, 2023 11:16 3m 3s
update tests
Github Tests #1348: Commit 5c75e3e pushed by IgnaceBleukx
October 16, 2023 10:29 3m 15s tree_quickxplain
October 16, 2023 10:29 3m 15s
naive version of quickxplain
Github Tests #1347: Commit a7e558c pushed by IgnaceBleukx
October 16, 2023 08:25 3m 42s tree_quickxplain
October 16, 2023 08:25 3m 42s
doc
Github Tests #1346: Commit 1f0143e pushed by Wout4
October 13, 2023 14:49 5m 18s 395-xor-decomposition-is-very-inefficient
October 13, 2023 14:49 5m 18s
remove unused code (#411)
Github Tests #1345: Commit fcf5155 pushed by Wout4
October 13, 2023 11:56 5m 18s master
October 13, 2023 11:56 5m 18s
Merge branch 'master' into remove-unused-parts
Github Tests #1344: Commit b0cf871 pushed by Wout4
October 13, 2023 11:38 5m 26s remove-unused-parts
October 13, 2023 11:38 5m 26s
Circuit decomposition for all ranges
Github Tests #1343: Commit da98d93 pushed by Wout4
October 13, 2023 11:09 5m 52s 423-reified-circuit-is-restricted
October 13, 2023 11:09 5m 52s
add implied pow to minizinc tests
Github Tests #1342: Commit d603bc0 pushed by Wout4
October 13, 2023 11:05 5m 29s 423-reified-circuit-is-restricted
October 13, 2023 11:05 5m 29s
make circuit decomposition work with all ranges and adapt tests
Github Tests #1341: Commit 8f34060 pushed by Wout4
October 13, 2023 11:00 5m 13s decompose_linearize
October 13, 2023 11:00 5m 13s
add implied pow to minizinc tests
Github Tests #1340: Commit d603bc0 pushed by Wout4
October 12, 2023 13:52 3m 9s master
October 12, 2023 13:52 3m 9s
cover all cases for element
Github Tests #1339: Commit a47eb9c pushed by Dimosts
October 12, 2023 12:36 3m 21s adding-choco
October 12, 2023 12:36 3m 21s
div and mod
Github Tests #1338: Commit 12bd3ad pushed by Dimosts
October 12, 2023 10:54 3m 56s adding-choco
October 12, 2023 10:54 3m 56s
fix count
Github Tests #1337: Commit 66b8e8e pushed by Dimosts
October 12, 2023 10:45 4m 16s adding-choco
October 12, 2023 10:45 4m 16s
cover all cases in min, max, abs
Github Tests #1336: Commit 62ca607 pushed by Dimosts
October 12, 2023 10:45 3m 2s adding-choco
October 12, 2023 10:45 3m 2s