blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75038
removed experimental prover z3_tptp
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75037
print more verbose information
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75036
run all installed provers by default
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75035
update slice options centrally
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75034
further work on new Sledgehammer slicing
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75033
tweaked verbose output
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75032
tweak padding of prover slice schedule to include all provers
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75031
implemented 'max_proofs' mechanism
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75030
document new option 'max_proofs'
blanchet [Mon, 31 Jan 2022 16:09:23 +0100] rev 75029
crude implementation of centralized slicing