PAKCS
Exported names: Imported modules:

Module XFD.SMTLib

This module provides operations to communicate with SMT solvers.

Summary of exported operations:

solveSMT :: SolverConfig -> [Option] -> [FDExpr] -> FDConstr -> IO [[Int]]   
Prints output of the external solver given a list of FD variables (second argument) w.r.t.

Exported operations:

solveSMT :: SolverConfig -> [Option] -> [FDExpr] -> FDConstr -> IO [[Int]]   

Prints output of the external solver given a list of FD variables (second argument) w.r.t. constraint (third argument). The first argument contains the configuration for the solver to use.