equal
deleted
inserted
replaced
287 val remote_sine_e = |
287 val remote_sine_e = |
288 remote_prover "sine_e" "SInE" [] [] [(Unprovable, "says Unknown")] |
288 remote_prover "sine_e" "SInE" [] [] [(Unprovable, "says Unknown")] |
289 800 (* FUDGE *) true |
289 800 (* FUDGE *) true |
290 val remote_snark = |
290 val remote_snark = |
291 remote_prover "snark" "SNARK---" [] [("refutation.", "end_refutation.")] [] |
291 remote_prover "snark" "SNARK---" [] [("refutation.", "end_refutation.")] [] |
292 350 (* FUDGE *) true |
292 250 (* FUDGE *) true |
293 |
293 |
294 (* Setup *) |
294 (* Setup *) |
295 |
295 |
296 fun is_installed ({exec, required_execs, ...} : prover_config) = |
296 fun is_installed ({exec, required_execs, ...} : prover_config) = |
297 forall (curry (op <>) "" o getenv o fst) (exec :: required_execs) |
297 forall (curry (op <>) "" o getenv o fst) (exec :: required_execs) |