| author | blanchet |
| Wed, 12 Feb 2014 08:35:57 +0100 | |
| changeset 55414 | eab03e9cee8a |
| 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" |