2016-09-29 | boehmes | CONTRIBUTORS: new proof method "argo" | changeset | files |
2016-09-29 | boehmes | NEWS: new proof method "argo" | changeset | files |
2016-09-29 | boehmes | use argo as additional SAT solver with models but no proofs, since the proof trace formats are not easily translatable | changeset | files |
2016-09-29 | boehmes | invoke argo as part of the tried automatic proof methods | changeset | files |
Loading... |