competition

loading
details
attribute current value
name competition
description no description
owning solver ProB
contents 
#!/bin/sh

./probcli -p TRY_ATELIERB_PROVERS false -p TIME_OUT 1800000 $1

back to ProB