#!/bin/bash # SOLVERDIR="$(dirname "${BASH_SOURCE[0]}" )" # clean last call rm -f output_0.cnf "$SOLVERDIR"/minkeyrink --SMTLIB2 --output-CNF --exit-after-CNF "$1" # In case a file was created, call the SAT solver if [ -f output_0.cnf ] then result=`$SOLVERDIR/cadical -q -n output_0.cnf 2>&1` if [[ "$result" == *"s SATISFIABLE"* ]]; then echo "sat" elif [[ "$result" == *"s UNSATISFIABLE"* ]]; then echo "unsat" fi fi