changeset 46370 | b3e53dd6f10a |
child 46403 | 3069344da626 |
46369:9ac0c64ad8e7 | 46370:b3e53dd6f10a |
---|---|
1 #!/usr/bin/env bash |
|
2 # |
|
3 # Wrapper for SPASS 3.8 that also outputs the clause-to-formula relation |
|
4 # |
|
5 # Author: Jasmin Blanchette, TU Muenchen |
|
6 |
|
7 options=${@:1:$(($#-1))} |
|
8 name=${@:$(($#)):1} |
|
9 |
|
10 rm -f $name.prf |
|
11 "$SPASS_NEW_HOME/SPASS" -FPDFGProof -FPFCR $options $name \ |
|
12 | sed 's/\(Formulae used in the proof :\).*/\1 N\/A/' |
|
13 cat $name.prf |
|
14 #rm -f $name.cnf |