Wed, 17 Nov 2021 15:09:10 +0100 | fleury | generate problems with correct logic for veriT | file | diff | annotate |
Tue, 29 Aug 2017 18:30:23 +0200 | blanchet | towards support for HO SMT-LIB | file | diff | annotate |
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 |