definition module Z3

from System.Process import :: ProcessHandle, :: ProcessIO

:: Z3

startZ3 :: *World -> (Z3, *World)
addAssert :: Z3 String *World -> *World
addVariable :: Z3 String *World -> *World
checkSat :: Z3 *World -> (Bool, *World)

// Note: getModel terminates z3
getModel :: Z3 *World -> (String, *World)