Skip to content

Actions: CPMpy/cpmpy

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

include inverse again, test are failing anyway
Github Tests #1611: Commit daf505d pushed by Wout4
May 8, 2024 14:17 6m 40s extended_testsuite
May 8, 2024 14:17 6m 40s
exclude inverse from tests
Github Tests #1610: Commit 3f8ef4e pushed by Wout4
May 8, 2024 12:26 6m 19s extended_testsuite
May 8, 2024 12:26 6m 19s
introduce argvals() helper function
Github Tests #1609: Commit 2efbe75 pushed by Wout4
May 8, 2024 12:14 7m 16s extended_testsuite
May 8, 2024 12:14 7m 16s
remove typecheck for indomain
Github Tests #1608: Commit 7550430 pushed by Wout4
May 7, 2024 14:15 10m 54s pycsp3-parser
May 7, 2024 14:15 10m 54s
add smarttable, improve callbacker
Github Tests #1607: Commit 81ba31f pushed by Wout4
May 6, 2024 12:47 10m 49s pycsp3-parser
May 6, 2024 12:47 10m 49s
setup xcsp parser in cpmpy
Github Tests #1606: Commit 099e8d6 pushed by Wout4
May 3, 2024 17:05 11m 21s pycsp3-parser
May 3, 2024 17:05 11m 21s
use them in choco sovlver
Github Tests #1605: Commit bbede46 pushed by Dimosts
May 3, 2024 14:53 11m 36s more-globals
May 3, 2024 14:53 11m 36s
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