Re: [isabelle] Isabelle2012-RC1 available for testing



Am 04.05.2012 um 18:06 schrieb Makarius:

> Is there a way to restrict Slegehammer ATPs to 1 parallel instant?

If you run

    sledgehammer [provers = e]

you'll get only one prover and hence only one active thread.

Jasmin






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.