#479 (Sep 29, 2016, 9:31:06 PM)

1. CONTRIBUTORS: new proof method "argo" (detail / hgweb)
2. NEWS: new proof method "argo" (detail / hgweb)
3. use argo as additional SAT solver with models but no proofs, since the proof trace formats are not easily translatable (detail / hgweb)
4. invoke argo as part of the tried automatic proof methods (detail / hgweb)
5. new proof method "argo" for a combination of quantifier-free propositional logic with equality and linear real arithmetic (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 1 hr 33 min build duration;
• 1 hr 38 min total from scheduled to completion.