Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
202 B · 10 lines
at develop
1234567891011predicate int_sol(var int: x, var int: xi);function int: sol(var int: x) = if is_fixed(x) then fix(x) else let { var dom(x): xi; constraint int_sol(x,xi); } in xi; endif;