This software (nysol) is distributed under the terms of the GNU AFFERO GENERAL PUBLIC LICENSE Version 3 (http://www.gnu.org/licenses/agpl-3.0.html). 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 http://www.nysol.jp/. 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 |