Module _.Cookie

A cookie contains the configuration elements to be used to reason on the symbolic formula (S.predicate).

It is passed to the functions S.check_sat and S.enumerate. It can be configured via the extension implemented by the state (see feature and S.more). For instance, SMT solver based states can use SetSMTSolver to select a different solver backend.

default creates a cookie with default parameters.