Skip to content

Actions: CPMpy/cpmpy

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Examples Colab links (#553)
Github Tests #2207: Commit cd374de pushed by ThomSerg
December 13, 2024 14:46 23m 0s master
December 13, 2024 14:46 23m 0s
fix cpm_array() when order = 'F' (#555)
Github Tests #2206: Commit 7b4252d pushed by Wout4
December 13, 2024 14:40 22m 47s master
December 13, 2024 14:40 22m 47s
add basic test
Github Tests #2205: Commit 049a433 pushed by Wout4
December 13, 2024 12:08 22m 23s cpm_array_order
December 13, 2024 12:08 22m 23s
newly generated models
Github Tests #2204: Commit 50d3322 pushed by Wout4
December 12, 2024 17:19 22m 42s cpm_array_order
December 12, 2024 17:19 22m 42s
Fix minor issues in docs (#530)
Github Tests #2203: Commit 318e7d1 pushed by hbierlee
December 12, 2024 14:25 23m 0s master
December 12, 2024 14:25 23m 0s
add division by 0
Github Tests #2202: Commit 89d1dd4 pushed by Wout4
December 12, 2024 12:50 22m 30s safen
December 12, 2024 12:50 22m 30s
fix failing Element constructor
Github Tests #2201: Commit 83f8559 pushed by IgnaceBleukx
December 12, 2024 08:01 36m 46s master
December 12, 2024 08:01 36m 46s
add has_subexpr optimisations
Github Tests #2200: Commit 17ea70e pushed by Wout4
December 11, 2024 17:18 23m 34s safen
December 11, 2024 17:18 23m 34s
Merge remote-tracking branch 'origin/master' into marco_updates
Github Tests #2199: Commit b2a9460 pushed by IgnaceBleukx
December 11, 2024 16:53 23m 24s marco_updates
December 11, 2024 16:53 23m 24s
Blocks world (#533)
Github Tests #2198: Commit feda851 pushed by IgnaceBleukx
December 11, 2024 16:39 23m 35s master
December 11, 2024 16:39 23m 35s
simplify test
Github Tests #2197: Commit 49023e3 pushed by Wout4
December 11, 2024 16:20 24m 8s safen
December 11, 2024 16:20 24m 8s
add (failing) test
Github Tests #2196: Commit dd5ef06 pushed by Wout4
December 11, 2024 16:06 23m 16s safen
December 11, 2024 16:06 23m 16s
use update_args
Github Tests #2195: Commit 3e5d89c pushed by Wout4
December 10, 2024 17:04 23m 12s safen
December 10, 2024 17:04 23m 12s
custom choco cumulative
Github Tests #2194: Commit e7c5130 pushed by IgnaceBleukx
December 10, 2024 14:38 1m 19s ignace_halfreif
December 10, 2024 14:38 1m 19s
remove inline imports (#542)
Github Tests #2193: Commit eea26b9 pushed by Wout4
December 10, 2024 09:55 22m 43s master
December 10, 2024 09:55 22m 43s
Only implied speedup (#541)
Github Tests #2192: Commit 5332e7c pushed by Wout4
December 10, 2024 09:09 23m 38s master
December 10, 2024 09:09 23m 38s
also revert test
Github Tests #2191: Commit 3282408 pushed by Wout4
December 9, 2024 22:28 23m 34s only_impl_speedup
December 9, 2024 22:28 23m 34s
revert to recursive in flattening
Github Tests #2190: Commit cfb6c8b pushed by Wout4
December 9, 2024 22:22 23m 13s only_impl_speedup
December 9, 2024 22:22 23m 13s
Merge branch 'master' into safen
Github Tests #2189: Commit c495b71 pushed by Wout4
December 9, 2024 22:21 27m 27s safen
December 9, 2024 22:21 27m 27s
Merge branch 'master' into only_impl_speedup
Github Tests #2188: Commit 10850cf pushed by Wout4
December 9, 2024 19:11 23m 11s only_impl_speedup
December 9, 2024 19:11 23m 11s
add assumption in comments
Github Tests #2187: Commit b3b881f pushed by Wout4
December 9, 2024 17:34 23m 11s only_impl_speedup
December 9, 2024 17:34 23m 11s
Structure the examples
Github Tests #2186: Commit 53b1f68 pushed by ThomSerg
December 9, 2024 13:18 23m 7s docs_improvement
December 9, 2024 13:18 23m 7s
Merge remote-tracking branch 'origin/master' into docs_improvement
Github Tests #2185: Commit 2379c75 pushed by ThomSerg
December 9, 2024 13:06 23m 22s docs_improvement
December 9, 2024 13:06 23m 22s
pysat card/pb: remove trivially true in linearize
Github Tests #2184: Commit ea18b77 pushed by tias
December 8, 2024 20:56 1m 47s pysat_wsum
December 8, 2024 20:56 1m 47s
merge master in. TODO: trivial bounds not allowed to post
Github Tests #2183: Commit 3f92170 pushed by tias
December 7, 2024 22:15 1m 47s pysat_wsum
December 7, 2024 22:15 1m 47s