Skip to content

Actions: CPMpy/cpmpy

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove unnecessary recursion in only_bv_implies Github Tests #1176: Commit 525f5c7 pushed by Wout4
July 20, 2023 13:40 3m 8s 395-xor-decomposition-is-very-inefficient
395-xor-decomposition-is-very-inefficient
July 20, 2023 13:40 3m 8s
hyperparam docs, tweak Github Tests #1175: Commit 014bd13 pushed by Wout4
July 20, 2023 13:31 4m 0s 395-xor-decomposition-is-very-inefficient
395-xor-decomposition-is-very-inefficient
July 20, 2023 13:31 4m 0s
more efficient decomp of Xor Github Tests #1174: Commit 58ae85f pushed by Wout4
July 20, 2023 11:08 4m 24s fuzztestb
fuzztestb
July 20, 2023 11:08 4m 24s
Merge branch '392-reified-element-constraints-do-not-get-handled-corr… Github Tests #1173: Commit e6db86c pushed by Wout4
July 14, 2023 08:20 3m 9s fuzztestb
fuzztestb
July 14, 2023 08:20 3m 9s
use cpmpy error in stead of value error Github Tests #1172: Commit 6ce1547 pushed by Wout4
July 14, 2023 07:07 3m 17s 392-reified-element-constraints-do-not-get-handled-correctly
392-reified-element-constraints-do-not-get-handled-correctly
July 14, 2023 07:07 3m 17s
merge master into pysat_wsum branch Github Tests #1171: Commit ae059e4 pushed by IgnaceBleukx
July 13, 2023 20:37 3m 8s pysat_wsum
pysat_wsum
July 13, 2023 20:37 3m 8s
update tests for int2bool Github Tests #1170: Commit 7a210ac pushed by IgnaceBleukx
July 13, 2023 16:01 2m 35s int2bool_direct
int2bool_direct
July 13, 2023 16:01 2m 35s
remove cast to int that was their for testing Github Tests #1169: Commit f017a39 pushed by Wout4
July 13, 2023 14:08 3m 52s 383-dtype-problem-in-flatten-model-process
383-dtype-problem-in-flatten-model-process
July 13, 2023 14:08 3m 52s
clean up reify_rewrite a little bit Github Tests #1168: Commit 5434a23 pushed by Wout4
July 13, 2023 10:37 4m 47s 392-reified-element-constraints-do-not-get-handled-correctly
392-reified-element-constraints-do-not-get-handled-correctly
July 13, 2023 10:37 4m 47s
add counting element test Github Tests #1167: Commit 21569a6 pushed by Wout4
July 13, 2023 10:24 3m 9s 392-reified-element-constraints-do-not-get-handled-correctly
392-reified-element-constraints-do-not-get-handled-correctly
July 13, 2023 10:24 3m 9s
adapt element tests Github Tests #1166: Commit d1dbdff pushed by Wout4
July 13, 2023 10:20 3m 18s 392-reified-element-constraints-do-not-get-handled-correctly
392-reified-element-constraints-do-not-get-handled-correctly
July 13, 2023 10:20 3m 18s
check for globals to avoid infinite loop in only_bv_implies Github Tests #1165: Commit d4ba423 pushed by Wout4
July 12, 2023 14:56 3m 8s only_bv_implies_check_globals
only_bv_implies_check_globals
July 12, 2023 14:56 3m 8s
remove unnecessary recursion in only_bv_implies Github Tests #1164: Commit 0a2bc16 pushed by Wout4
July 12, 2023 14:18 3m 6s only_bv_implies_not_recursive
only_bv_implies_not_recursive
July 12, 2023 14:18 3m 6s
change default names to avoid conflicts Github Tests #1163: Commit 3436559 pushed by Wout4
July 12, 2023 10:18 3m 8s new_names
new_names
July 12, 2023 10:18 3m 8s
enforce element bounds at toplevel Github Tests #1162: Commit 8b2ae06 pushed by Wout4
July 12, 2023 09:42 3m 8s 392-reified-element-constraints-do-not-get-handled-correctly
392-reified-element-constraints-do-not-get-handled-correctly
July 12, 2023 09:42 3m 8s
always offset circuits for minzinc Github Tests #1161: Commit 1e28f25 pushed by Wout4
July 11, 2023 13:23 3m 3s 392-reified-element-constraints-do-not-get-handled-correctly
392-reified-element-constraints-do-not-get-handled-correctly
July 11, 2023 13:23 3m 3s
hyperparam docs, tweak Github Tests #1160: Commit 014bd13 pushed by Wout4
July 11, 2023 13:21 3m 47s 392-reified-element-constraints-do-not-get-handled-correctly
392-reified-element-constraints-do-not-get-handled-correctly
July 11, 2023 13:21 3m 47s
hyperparam docs, tweak Github Tests #1159: Commit 014bd13 pushed by tias
July 11, 2023 10:13 3m 59s master
master
July 11, 2023 10:13 3m 59s
update tuning docs Github Tests #1158: Commit 54e5439 pushed by tias
July 11, 2023 10:11 3m 16s master
master
July 11, 2023 10:11 3m 16s
fix: decompose_global: mark inverse as supported (#391) Github Tests #1157: Commit de95018 pushed by Wout4
July 10, 2023 20:49 3m 17s master
master
July 10, 2023 20:49 3m 17s
sort intermediate bounds Github Tests #1156: Commit 7dab664 pushed by Wout4
July 10, 2023 17:27 4m 14s 383-dtype-problem-in-flatten-model-process
383-dtype-problem-in-flatten-model-process
July 10, 2023 17:27 4m 14s
update error message Github Tests #1155: Commit f217843 pushed by Wout4
July 10, 2023 15:13 3m 45s 383-dtype-problem-in-flatten-model-process
383-dtype-problem-in-flatten-model-process
July 10, 2023 15:13 3m 45s
add int2bool as solvername Github Tests #1154: Commit 01548f6 pushed by IgnaceBleukx
July 10, 2023 15:06 1m 55s int2bool_direct
int2bool_direct
July 10, 2023 15:06 1m 55s
avoid numpy sum where we are at risk of overflow Github Tests #1153: Commit f4f9515 pushed by Wout4
July 10, 2023 14:53 3m 51s 383-dtype-problem-in-flatten-model-process
383-dtype-problem-in-flatten-model-process
July 10, 2023 14:53 3m 51s
release 0.9.16 Github Tests #1152: Commit e4efc7c pushed by Wout4
July 10, 2023 09:16 3m 11s 383-dtype-problem-in-flatten-model-process
383-dtype-problem-in-flatten-model-process
July 10, 2023 09:16 3m 11s