module Z3solver: sig .. end
sig
end
All methods which use z3 library are in here
exception Testfail
val isSat : string -> bool
string -> bool
check the given smt string passing all condition by z3
testcode