SMT files before check-sat call#5

tautschnig wants to merge 1 commit intoaiverification:mainaiverification/neuralmc:mainfrom

tautschnig:before-check-sattautschnig/neuralmc:before-check-satCopy head branch name to clipboard