[ library(COLIBRI_DOC) | ]

set_timeout(T)

Define time limit.
T
Positive integer.

Description

This directive is to be used only inside queries read by the colibri.(sh|bat) scripts. It defines the maximum time allocated for constraints resolution.

Resatisfiable

no