| Sun, 02 Oct 2016 14:07:43 +0200 | wenzelm | updated headers; | file | diff | annotate |
| Thu, 29 Sep 2016 20:54:45 +0200 | boehmes | use argo as additional SAT solver with models but no proofs, since the proof trace formats are not easily translatable | file | diff | annotate |