| author | wenzelm |
| Wed, 13 Aug 2025 19:40:09 +0200 | |
| changeset 83005 | a2a860cd3215 |
| 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" |