# CleanLogic Logic toolbox in [Clean](http://wiki.clean.cs.ru.nl/Clean) ## License This program and the example are distributed under the MIT license. For more details, see the LICENSE file.