# #!/bin/bash source ./bin/activate # echo $logic # python3 bvfp_solver.py $1 bench="$1" logic=$(expr "$(grep -m1 '^[^;]*set-logic' "$bench")" : ' *(set-logic *\([A-Z_]*\) *) *$') case "$logic" in QF_BV) python3 bvfp_solver.py --logic QF_BV --sat_engine cd $1 ;; QF_UFBV) python3 bvfp_solver.py --logic QF_UFBV --sat_engine g3 $1 ;; QF_ABV) python3 bvfp_solver.py --logic QF_ABV --sat_engine mgh $1 ;; QF_AUFBV) python3 bvfp_solver.py --logic QF_AUFBV --sat_engine g3 $1 ;; QF_FP) python3 bvfp_solver.py --logic QF_FP --sat_engine m22 $1 ;; QF_BVFP) python3 bvfp_solver.py --logic QF_BVFP --sat_engine lgl $1 ;; *) # just run the default python3 bvfp_solver.py $1 ;; esac