This software (nysol) is distributed under the terms of the GNU AFFERO GENERAL PUBLIC LICENSE Version 3 (

However, note that the software below is distributed under individual licenses, details of each license can be found in the corresponding tar ball file. The following software is available for download at

zdd : nysol/zdd/lib/SAPPOROBDD/copyright

lcm : nysol/take/cmd/lcm/readme.txt

lcm_seq : nysol/take/cmd/lcm_seq/readme.txt

sspc : nysol/take/cmd/sspc/readme.txt

grhfil : nysol/take/cmd/sspc/readme.txt

mace : nysol/take/cmd/mace/readme.txt