Skip to content

Actions: CPMpy/cpmpy

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove errorneous line Github Tests #1600: Commit 13ca568 pushed by Dimosts
May 3, 2024 11:12 10m 59s save_all_uservars
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
master
March 25, 2024 16:24 11m 23s
Merge branch 'master' into assignment_and_rostering_examples Github Tests #1581: Commit 1fb5332 pushed by Dimosts
March 25, 2024 16:18 11m 28s assignment_and_rostering_examples
assignment_and_rostering_examples
March 25, 2024 16:18 11m 28s
remove hard-coded minizinc call Github Tests #1580: Commit 50f5ca0 pushed by Dimosts
March 25, 2024 16:09 10m 59s v0.9.20
v0.9.20
March 25, 2024 16:09 10m 59s
Adding choco (#413) Github Tests #1579: Commit 6ec19f8 pushed by Wout4
March 25, 2024 15:55 11m 15s master
master
March 25, 2024 15:55 11m 15s
add choco to github tests Github Tests #1578: Commit df2d16f pushed by Wout4
March 25, 2024 15:41 11m 1s adding-choco
adding-choco
March 25, 2024 15:41 11m 1s
remove inverse tests part 2 Github Tests #1577: Commit 62a9bea pushed by Dimosts
March 25, 2024 13:49 10m 52s adding-choco
adding-choco
March 25, 2024 13:49 10m 52s