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 |
Tue, 16 Feb 2010 15:26:24 +0100 | boehmes | updated SMT certificates | changeset | files |
Tue, 16 Feb 2010 15:25:36 +0100 | boehmes | added Cache_IO: cache for output of external tools, | changeset | files |