This project is distributed under the MIT license (see LICENSE.mit),
except for the sample input files located under
examples/cnf-sat-samples/ and examples/knapsack_samples/
, which are distrubted under LGPLv3 (see examples/cnf-sat-samples/gnu_lgpl.txt).

Every file distributed under a license other than MIT shall have a corresponding
comment at the top of it.
