| author | wenzelm |
| Mon, 18 Aug 2014 12:17:31 +0200 | |
| changeset 57978 | 8f4a332500e4 |
| parent 54814 | 8911ac4df9c0 |
| permissions | -rwxr-xr-x |
|
54788
a898e15b522a
primitive support for SPASS-Pirate (Daniel Wand's polymorphic SPASS prototype)
blanchet
parents:
diff
changeset
|
1 |
#!/usr/bin/env bash |
|
54814
8911ac4df9c0
prevent curl's output to interfere with the prover's output
blanchet
parents:
54800
diff
changeset
|
2 |
curl -s -F file=@"$2" "http://91.228.53.68:51642/solve/pirate/"$1"s" |