With the latest release (building for Rawhide now), the license of cryptominisat changes from GPLv3+ to "MIT and BSD". I don't expect this to have any impact. Regards, -- Jerry James http://www.jamezone.org/