Kevin Quick 6387a7ec8b Update yices to add libpoly/mcsat functionality and add soname target.		2017-07-06 21:31:38 -07:00
..
default.nix	Update yices to add libpoly/mcsat functionality and add soname target.	2017-07-06 21:31:38 -07:00