| author | wenzelm |
| Sat, 01 Jun 2019 11:29:59 +0200 | |
| changeset 70299 | 83774d669b51 |
| parent 59577 | 012c6165bbd2 |
| 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" |