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 branch 'docs_improvement' of https://github.com/CPMpy/cpmpy int… Github Tests #1975: Commit df18ef5 pushed by ThomSerg
July 16, 2024 12:14 27m 21s docs_improvement
docs_improvement
July 16, 2024 12:14 27m 21s
Remove leftover of CSE Github Tests #1974: Commit e15601c pushed by ThomSerg
July 16, 2024 12:06 1m 55s docs_improvement
docs_improvement
July 16, 2024 12:06 1m 55s
docs: small improvements Github Tests #1973: Commit 24c7bbf pushed by ThomSerg
July 16, 2024 12:00 2m 5s docs_improvement
docs_improvement
July 16, 2024 12:00 2m 5s
docs: native solver attribute Github Tests #1972: Commit cbd676a pushed by ThomSerg
July 16, 2024 11:37 25m 39s native_solver
native_solver
July 16, 2024 11:37 25m 39s
Fix return type Github Tests #1971: Commit 78818e4 pushed by ThomSerg
July 16, 2024 11:30 25m 51s minizinc_print
minizinc_print
July 16, 2024 11:30 25m 51s
Minizinc & Flatzinc strings Github Tests #1970: Commit d73ab3f pushed by ThomSerg
July 16, 2024 11:24 26m 8s minizinc_print
minizinc_print
July 16, 2024 11:24 26m 8s
python_builtins: follow python signature Github Tests #1969: Commit 5bd8a6e pushed by tias
July 16, 2024 09:36 25m 38s builtins
builtins
July 16, 2024 09:36 25m 38s
allow kwargs in Model.solve() Github Tests #1968: Commit d487762 pushed by tias
July 16, 2024 06:45 25m 58s solve_kwargs
solve_kwargs
July 16, 2024 06:45 25m 58s
test pycryptosat Github Tests #1967: Commit 8aa84c3 pushed by Wout4
July 15, 2024 14:33 25m 22s gcs_init
gcs_init
July 15, 2024 14:33 25m 22s
remove early return statement Github Tests #1966: Commit b15269a pushed by Wout4
July 15, 2024 13:44 26m 25s gcs_init
gcs_init
July 15, 2024 13:44 26m 25s
put gcs in solver init Github Tests #1965: Commit c827dd0 pushed by Wout4
July 15, 2024 12:30 26m 5s gcs_init
gcs_init
July 15, 2024 12:30 26m 5s
fix python version Github Tests #1964: Commit 666aaf2 pushed by IgnaceBleukx
July 15, 2024 10:37 6h 0m 27s exact2
exact2
July 15, 2024 10:37 6h 0m 27s
newer python version Github Tests #1963: Commit 88a368d pushed by IgnaceBleukx
July 15, 2024 09:54 16s exact2
exact2
July 15, 2024 09:54 16s
bump to exact2 Github Tests #1962: Commit c09c75b pushed by IgnaceBleukx
July 15, 2024 09:46 2m 6s exact2
exact2
July 15, 2024 09:46 2m 6s
Glasgow Constraint Solver (#202) Github Tests #1961: Commit 0cf0618 pushed by Wout4
July 15, 2024 09:41 26m 53s master
master
July 15, 2024 09:41 26m 53s
test all solvers Github Tests #1960: Commit e1c8824 pushed by Wout4
July 15, 2024 07:06 25m 34s glasgowconstraintsolver
glasgowconstraintsolver
July 15, 2024 07:06 25m 34s
gcs: Fix objective and make verify=False by default. Github Tests #1959: Commit 89d0333 pushed by mmcilree
July 12, 2024 21:42 3m 24s glasgowconstraintsolver
glasgowconstraintsolver
July 12, 2024 21:42 3m 24s
add directvar to z3 (untested...) Github Tests #1958: Commit 6ee005c pushed by IgnaceBleukx
July 12, 2024 13:57 26m 30s nativeCons
nativeCons
July 12, 2024 13:57 26m 30s
gcs: fix proof name. Github Tests #1957: Commit fa5adf1 pushed by mmcilree
July 12, 2024 13:38 3m 32s glasgowconstraintsolver
glasgowconstraintsolver
July 12, 2024 13:38 3m 32s
gcs: Add and document proof/verifier functionality. Github Tests #1956: Commit 8d7d1c4 pushed by mmcilree
July 12, 2024 12:50 3m 25s glasgowconstraintsolver
glasgowconstraintsolver
July 12, 2024 12:50 3m 25s
fix uservars in minizinc (#496) Github Tests #1955: Commit 396e611 pushed by Wout4
July 12, 2024 11:53 26m 7s master
master
July 12, 2024 11:53 26m 7s
update documentation of 'comparison' transformation (#499) Github Tests #1954: Commit 2b0b9cc pushed by Wout4
July 12, 2024 11:40 26m 33s master
master
July 12, 2024 11:40 26m 33s
remove pip install gcspy from github tests Github Tests #1953: Commit f438d59 pushed by Wout4
July 12, 2024 11:20 4m 25s glasgowconstraintsolver
glasgowconstraintsolver
July 12, 2024 11:20 4m 25s
gcs: implement solution callbacks. Github Tests #1952: Commit 8d65c76 pushed by mmcilree
July 12, 2024 09:30 5m 29s glasgowconstraintsolver
glasgowconstraintsolver
July 12, 2024 09:30 5m 29s
gcs: Fixes from code review, implement solution timeouts and solveAll. Github Tests #1951: Commit b2b15e6 pushed by mmcilree
July 11, 2024 16:04 5m 33s glasgowconstraintsolver
glasgowconstraintsolver
July 11, 2024 16:04 5m 33s