Z3
smt
ZERO
copris