Skip to content

Rename "warmstart" boolean for cpsat coloring solver into "do_warmstart" #960

Rename "warmstart" boolean for cpsat coloring solver into "do_warmstart"

Rename "warmstart" boolean for cpsat coloring solver into "do_warmstart" #960

Annotations

2 errors

test (ubuntu-latest, 3.9)

cancelled Oct 4, 2024 in 45s