Thu, 22 Jun 2017 16:59:14 +0200 | blanchet | added 'solvers' option to Nunchaku | file | diff | annotate |
Mon, 07 Nov 2016 14:55:39 +0100 | blanchet | added Nunchaku component and tuned Nunchaku integration accordingly | file | diff | annotate |
Wed, 26 Oct 2016 15:21:16 +0200 | blanchet | proper Nunchaku setup to use CVC4 and Kodkod | file | diff | annotate |
Mon, 24 Oct 2016 22:42:07 +0200 | blanchet | added Nunchaku integration | file | diff | annotate |