| Tue, 17 Feb 2015 17:22:45 +0100 | blanchet | use more permissive logic for CVC4 (in case both reals and datatypes appear) | file | diff | annotate |
| Thu, 20 Nov 2014 17:29:18 +0100 | blanchet | set right logic for CVC4 with (co)datatypes | file | diff | annotate |
| Thu, 18 Sep 2014 16:47:40 +0200 | blanchet | fixed authorship | file | diff | annotate |
| Wed, 17 Sep 2014 16:53:39 +0200 | blanchet | added interface for CVC4 extensions | file | diff | annotate |