[ 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