equal
deleted
inserted
replaced
6 # Author: Jasmin Blanchette, TU Muenchen |
6 # Author: Jasmin Blanchette, TU Muenchen |
7 |
7 |
8 options=${@:1:$(($#-1))} |
8 options=${@:1:$(($#-1))} |
9 name=${@:$(($#)):1} |
9 name=${@:$(($#)):1} |
10 |
10 |
11 "$SPASS_HOME/tptp2dfg" $name $name.fof.dfg |
11 # Try converting the file from TPTP to DFG, but fail gracefully if it is already |
|
12 # in DFG format. |
|
13 "$SPASS_HOME/tptp2dfg" $name $name.fof.dfg || cp $name $name.fof.dfg |
12 "$SPASS_HOME/SPASS" -Flotter $name.fof.dfg \ |
14 "$SPASS_HOME/SPASS" -Flotter $name.fof.dfg \ |
13 | sed 's/description({$/description({*/' \ |
15 | sed 's/description({$/description({*/' \ |
14 | sed 's/set_ClauseFormulaRelation()\.//' \ |
16 | sed 's/set_ClauseFormulaRelation()\.//' \ |
15 > $name.cnf.dfg |
17 > $name.cnf.dfg |
16 rm -f $name.fof.dfg |
18 rm -f $name.fof.dfg |