Skip to content

Actions: CPMpy/cpmpy

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update tests
Github Tests #1604: Commit 4d32445 pushed by Dimosts
May 3, 2024 12:13 11m 11s more-globals
May 3, 2024 12:13 11m 11s
update tests
Github Tests #1603: Commit 6d62627 pushed by Dimosts
May 3, 2024 12:06 11m 21s more-globals
May 3, 2024 12:06 11m 21s
increasing and decreasing
Github Tests #1602: Commit d8669bf pushed by Dimosts
May 3, 2024 11:58 11m 27s more-globals
May 3, 2024 11:58 11m 27s
Save all uservars (#463)
Github Tests #1601: Commit 969b360 pushed by Wout4
May 3, 2024 11:45 10m 47s master
May 3, 2024 11:45 10m 47s
remove errorneous line
Github Tests #1600: Commit 13ca568 pushed by Dimosts
May 3, 2024 11:12 10m 59s save_all_uservars
May 3, 2024 11:12 10m 59s
Merge branch 'master' into save_all_uservars
Github Tests #1599: Commit d8109bb pushed by Wout4
May 3, 2024 10:04 2m 7s save_all_uservars
May 3, 2024 10:04 2m 7s
remove redundant comment
Github Tests #1598: Commit 20f08c1 pushed by Dimosts
May 2, 2024 16:42 10m 55s save_all_uservars
May 2, 2024 16:42 10m 55s
vals in gcc are ints
Github Tests #1597: Commit f1bbd68 pushed by Dimosts
May 2, 2024 16:28 6m 12s extended_testsuite
May 2, 2024 16:28 6m 12s
fix pysdd solution count
Github Tests #1596: Commit c54cadd pushed by Wout4
May 2, 2024 14:26 10m 54s save_all_uservars
May 2, 2024 14:26 10m 54s
all vars are known to solver now
Github Tests #1595: Commit 6a3627a pushed by IgnaceBleukx
May 2, 2024 12:18 11m 3s save_all_uservars
May 2, 2024 12:18 11m 3s
fixed translation of alldiff_except_0 (#465)
Github Tests #1594: Commit 0ce5e5e pushed by Wout4
May 2, 2024 11:42 10m 44s master
May 2, 2024 11:42 10m 44s
Proper translation of count to minizinc (#462)
Github Tests #1593: Commit f63ded7 pushed by Wout4
May 2, 2024 11:33 10m 58s master
May 2, 2024 11:33 10m 58s
fixed translation of alldiff_except_0
Github Tests #1592: Commit 0b06396 pushed by IgnaceBleukx
May 2, 2024 11:28 10m 37s alldiff_except0_mzn
May 2, 2024 11:28 10m 37s
extend testcase for solveAll
Github Tests #1591: Commit 0c91af0 pushed by Wout4
May 2, 2024 11:17 11m 0s save_all_uservars
May 2, 2024 11:17 11m 0s
finish merge
Github Tests #1590: Commit 49f9975 pushed by IgnaceBleukx
May 2, 2024 10:22 6m 9s extended_testsuite
May 2, 2024 10:22 6m 9s
add test
Github Tests #1589: Commit 068f83e pushed by IgnaceBleukx
May 2, 2024 08:27 10m 45s save_all_uservars
May 2, 2024 08:27 10m 45s
remove redundant count in comparison handling
Github Tests #1588: Commit dd35375 pushed by Dimosts
April 29, 2024 13:41 11m 44s count_mzn
April 29, 2024 13:41 11m 44s
proper translation of count to minizinc
Github Tests #1587: Commit 4ba97bf pushed by IgnaceBleukx
April 29, 2024 08:56 11m 21s count_mzn
April 29, 2024 08:56 11m 21s
ensure arguments of wsum are list after linearize
Github Tests #1586: Commit f392b46 pushed by IgnaceBleukx
April 10, 2024 14:39 10m 47s master
April 10, 2024 14:39 10m 47s
Merge branch 'master' into xcsp3
Github Tests #1585: Commit 390763d pushed by Dimosts
April 10, 2024 10:27 11m 0s xcsp3
April 10, 2024 10:27 11m 0s
cover cases with txt domains + fix bug on group constraints
Github Tests #1584: Commit 2de5b0e pushed by Dimosts
April 10, 2024 09:40 3m 30s xcsp3
April 10, 2024 09:40 3m 30s
Update requirements
Github Tests #1583: Commit eaad3cf pushed by Wout4
March 25, 2024 16:45 11m 21s v0.9.20
March 25, 2024 16:45 11m 21s
v0.9.20
Release Python Package #40: Release v0.9.20 published by Wout4
March 25, 2024 16:45 26s
March 25, 2024 16:45 26s
Update requirements
Github Tests #1582: Commit eaad3cf pushed by Wout4
March 25, 2024 16:24 11m 23s master
March 25, 2024 16:24 11m 23s
ProTip! You can narrow down the results and go further in time using created:<2024-03-25 or the other filters available.