[ 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