Tue, 16 Feb 2010 16:20:46 +0100 | boehmes | updated SMT certificates | changeset | files |
Tue, 16 Feb 2010 16:20:34 +0100 | boehmes | include solver arguments as comments in SMT problem files (to distinguish different results from the same problem when caching results) | changeset | files |