| changeset 42064 | f4e53c8630c0 |
| child 42108 | f55562e77d5c |
| 42063:a2a69b32d899 | 42064:f4e53c8630c0 |
|---|---|
1 #!/usr/bin/env bash |
|
2 # |
|
3 # Author: Jasmin Blanchette |
|
4 # |
|
5 # DESCRIPTION: TPTP FOF version of Nitpick |
|
6 |
|
7 |
|
8 PRG="$(basename "$0")" |
|
9 |
|
10 function usage() { |
|
11 echo |
|
12 echo "Usage: isabelle $PRG FILES" |
|
13 echo |
|
14 echo " Runs Nitrox on a FOF or CNF TPTP problem." |
|
15 echo |
|
16 exit 1 |
|
17 } |
|
18 |
|
19 for FILE in "$@" |
|
20 do |
|
21 (echo "theory Nitrox_Run imports Main begin" && |
|
22 echo "ML {* Nitrox.pick_nits_in_fof_file \"$FILE\" *}" && |
|
23 echo "end;") | isabelle tty |
|
24 done |