| Mon, 22 Jun 2009 17:07:09 +0200 | immler | use results of relevance-filter to determine additional clauses; | file | diff | annotate |
| Wed, 03 Jun 2009 16:56:41 +0200 | immler | split preparing clauses and writing problemfile; | file | diff | annotate |
| Sat, 23 May 2009 21:31:07 +0200 | wenzelm | proper signature constraint; | file | diff | annotate |
| Mon, 04 May 2009 23:37:39 +0200 | immler | added Philipp Meyer's implementation of AtpMinimal | file | diff | annotate |