Toggle navigation
PAKCS
Module XFD.Solvers.CVC4
Imports
Operations
Curry Homepage
PAKCS Libraries
About CurryDoc
Exported names:
Operations:
cvc4Config
Imported modules:
Prelude
XFD.Solver
Module
XFD.Solvers.CVC4
Summary of exported operations:
cvc4Config
::
SolverConfig
Exported operations:
cvc4Config
::
SolverConfig
Further infos:
solution complete, i.e., able to compute all solutions