path: root/README.md

# 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.