| author | haftmann |
| Fri, 27 Jun 2025 08:09:26 +0200 | |
| changeset 82775 | 61c39a9e5415 |
| 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" |