eval_smt.sh 5.27 KB