[
library(COLIBRI_DOC)
| ]
solve_cstrs
Asks to solve current constraints.
Description
This predicate invokes internal solver on the current constraints store.
Fail Conditions
Fails when there is no solution
Resatisfiable
yes