Skip to content

Actions: CPMpy/cpmpy

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote-tracking branch 'origin/master' into constraint_name Github Tests #1183: Commit aa7cbad pushed by IgnaceBleukx
August 21, 2023 13:54 3m 29s constraint_name
constraint_name
August 21, 2023 13:54 3m 29s
add uuid Github Tests #1182: Commit 19be009 pushed by Wout4
August 21, 2023 13:42 3m 20s UUID
UUID
August 21, 2023 13:42 3m 20s
ensure no extra solutions due to new vars Github Tests #1181: Commit 72f4e51 pushed by IgnaceBleukx
August 19, 2023 09:08 3m 3s updated_linearize
updated_linearize
August 19, 2023 09:08 3m 3s
Exact solution hints (#396) Github Tests #1180: Commit 3511d6d pushed by JoD
July 28, 2023 12:49 3m 46s master
master
July 28, 2023 12:49 3m 46s
update test Github Tests #1179: Commit 72add27 pushed by IgnaceBleukx
July 27, 2023 15:51 3m 7s exact_solhint
exact_solhint
July 27, 2023 15:51 3m 7s
make tests for solution hinting Github Tests #1178: Commit fd9846f pushed by IgnaceBleukx
July 27, 2023 15:46 3m 20s exact_solhint
exact_solhint
July 27, 2023 15:46 3m 20s
add case for negboolview Github Tests #1177: Commit a530b66 pushed by IgnaceBleukx
July 27, 2023 15:13 3m 16s constraint_name
constraint_name
July 27, 2023 15:13 3m 16s
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
ProTip! You can narrow down the results and go further in time using created:<2023-07-11 or the other filters available.