Skip to content

Actions: CPMpy/cpmpy

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

add some comments
Github Tests #1208: Commit 266e29f pushed by Wout4
September 8, 2023 11:57 3m 16s 383-dtype-problem-in-flatten-model-process
September 8, 2023 11:57 3m 16s
Only bv implies check globals (#394)
Github Tests #1207: Commit e759044 pushed by Wout4
September 8, 2023 11:31 3m 13s master
September 8, 2023 11:31 3m 13s
Fixed remove for gurobi
Github Tests #1206: Commit 6396bba pushed by ElFosco
September 8, 2023 11:29 3m 16s removing-constraints
September 8, 2023 11:29 3m 16s
Updated linearize (#401)
Github Tests #1205: Commit 69d4808 pushed by Wout4
September 8, 2023 11:28 4m 10s master
September 8, 2023 11:28 4m 10s
remove debug message
Github Tests #1204: Commit a024791 pushed by Dimosts
September 8, 2023 08:48 4m 20s removing-constraints
September 8, 2023 08:48 4m 20s
removing constraints from gurobi
Github Tests #1203: Commit 7a7d06f pushed by Dimosts
September 7, 2023 16:21 3m 21s 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
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
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
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
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
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
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
September 6, 2023 13:06 3m 16s
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
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
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
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
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
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
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
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
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
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
August 21, 2023 13:58 3m 10s
ProTip! You can narrow down the results and go further in time using created:<2023-08-21 or the other filters available.