git.libre-soc.org Git - cvc5.git/history - contrib/run-script-casc24-fnt

2013-06-03	Morgan Deters	Updated CASC scripts, as provided to Geoff Sutcliffe	blob \| commitdiff \| raw
2013-05-20	Andrew Reynolds	Possible final version of run scripts for casc.	blob \| commitdiff \| raw \| diff to current
2013-05-14	Andrew Reynolds	Update casc24-fnt run script. Add casc24-fof run script.	blob \| commitdiff \| raw \| diff to current
2013-05-11	Andrew Reynolds	Preliminary version of finite model finding over bounde...	blob \| commitdiff \| raw \| diff to current
2013-05-10	Andrew Reynolds	Update casc run script. Work on compliance for SZS...	blob \| commitdiff \| raw \| diff to current
2013-05-10	Andrew Reynolds	Add simplification option --fo-prop-quant. Add model...	blob \| commitdiff \| raw \| diff to current