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)