3 commits

Author	SHA1	Message	Date
Franz Pletz	df275f5b85	treewide: fix darwin builds by referring to stdenv's libc	2016-08-25 02:56:25 +02:00
Robin Gloster	bd44c7fd70	boolector: fix build with multiple outputs	2016-08-24 18:19:40 +00:00
Austin Seipp	5aa4495cb5	boolector: add version 1.5 and 1.6 ... There are two versions here because beginning with 1.6.0, Boolector has a more restrictive, unfree license which disallows commercial use. As a result, Boolector 1.5 is the default 'boolector' expression. Signed-off-by: Austin Seipp <aseipp@pobox.com>	2014-04-07 09:17:05 -05:00