Skip to content

Actions: CPMpy/cpmpy

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

removing constraints from gurobi Github Tests #1203: Commit 7a7d06f pushed by Dimosts
September 7, 2023 16:21 3m 21s removing-constraints
removing-constraints
September 7, 2023 16:21 3m 21s
Decompose in tree: fix adding defining part twice Github Tests #1202: Commit 008f269 pushed by Dimosts
September 7, 2023 16:19 4m 22s removing-constraints
removing-constraints
September 7, 2023 16:19 4m 22s
import numpy in pysat Github Tests #1201: Commit de0059f pushed by Dimosts
September 7, 2023 15:07 3m 6s hinting-2d
hinting-2d
September 7, 2023 15:07 3m 6s
Extend fix to all solvers supporting solution hints Github Tests #1200: Commit a218b85 pushed by Dimosts
September 7, 2023 15:01 3m 17s hinting-2d
hinting-2d
September 7, 2023 15:01 3m 17s
handle case where 1-d list is given Github Tests #1199: Commit e2a878e pushed by Dimosts
September 7, 2023 14:55 3m 59s hinting-2d
hinting-2d
September 7, 2023 14:55 3m 59s
hints giving N-D variables and values Github Tests #1198: Commit 0e3e906 pushed by Dimosts
September 7, 2023 14:41 3m 7s hinting-2d
hinting-2d
September 7, 2023 14:41 3m 7s
Decompose in tree: fix adding defining part twice Github Tests #1197: Commit 008f269 pushed by Wout4
September 7, 2023 13:06 3m 4s master
master
September 7, 2023 13:06 3m 4s
added test Github Tests #1196: Commit a4eda3d pushed by Wout4
September 6, 2023 13:06 3m 16s 398-gurobi-does-not-support-floordivision
398-gurobi-does-not-support-floordivision
September 6, 2023 13:06 3m 16s
circumvent gurobi integer division to match cpmpy floordivision Github Tests #1195: Commit 731bdd5 pushed by Wout4
September 6, 2023 09:02 3m 16s 398-gurobi-does-not-support-floordivision
398-gurobi-does-not-support-floordivision
September 6, 2023 09:02 3m 16s
upgraded Exact to tier 2 in documentation Github Tests #1194: Commit 8020a15 pushed by Wout4
September 5, 2023 13:18 3m 6s 398-gurobi-does-not-support-floordivision
398-gurobi-does-not-support-floordivision
September 5, 2023 13:18 3m 6s
adapt linearize tests to have lists as input Github Tests #1193: Commit 05e463c pushed by Wout4
September 5, 2023 13:04 3m 8s updated_linearize
updated_linearize
September 5, 2023 13:04 3m 8s
upgraded Exact to tier 2 in documentation Github Tests #1192: Commit 8020a15 pushed by JoD
August 31, 2023 19:30 3m 3s master
master
August 31, 2023 19:30 3m 3s
remove custom for _NegBoolView Github Tests #1191: Commit c4901ef pushed by IgnaceBleukx
August 31, 2023 14:58 3m 9s constraint_name
constraint_name
August 31, 2023 14:58 3m 9s
use immutable default arguments Github Tests #1190: Commit 35b40fa pushed by Wout4
August 31, 2023 10:25 3m 40s CSE_wv
CSE_wv
August 31, 2023 10:25 3m 40s
ensure toplevel list for naive mus variant Github Tests #1189: Commit e9d166b pushed by IgnaceBleukx
August 26, 2023 00:21 3m 5s master
master
August 26, 2023 00:21 3m 5s
everything that uses get_or_make_var Github Tests #1188: Commit fc6ecd5 pushed by Wout4
August 25, 2023 14:15 3m 11s CSE_wv
CSE_wv
August 25, 2023 14:15 3m 11s
pass expr_dict object Github Tests #1187: Commit 5d39d3f pushed by Wout4
August 25, 2023 09:40 6h 0m 23s CSE_wv
CSE_wv
August 25, 2023 09:40 6h 0m 23s
naive cse in flatten Github Tests #1186: Commit 7126f1b pushed by Wout4
August 25, 2023 09:08 6h 0m 23s CSE_wv
CSE_wv
August 25, 2023 09:08 6h 0m 23s
backwards compatible uids Github Tests #1185: Commit 1b2a9ac pushed by Wout4
August 21, 2023 14:15 3m 3s UUID
UUID
August 21, 2023 14:15 3m 3s
negboolview keeps id Github Tests #1184: Commit e3ed463 pushed by Wout4
August 21, 2023 13:58 3m 10s UUID
UUID
August 21, 2023 13:58 3m 10s
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