PAKCS
Exported names: Imported modules:

Module Solver.SMTLIB.Internal.Utils

This module provides utilities for interacting with SMT solvers.

Author: Jan Tikovsky

Version: December 2017

Summary of exported operations:

delim :: String   
Delimiter (for SMT-LIB command responses)
hGetUntil :: Handle -> String -> IO String   
Reads the contents from an input handle up to the given delimiter and leaves the handle open

Exported operations:

delim :: String   

Delimiter (for SMT-LIB command responses)

Further infos:
  • solution complete, i.e., able to compute all solutions

hGetUntil :: Handle -> String -> IO String   

Reads the contents from an input handle up to the given delimiter and leaves the handle open