This project complements the Combinatory Logic Synthesizer (CL)S framework by a website to present inhabitants and download them. Different solutions to the same inhabitation question will be hosted via Git branches.

For more information see our documentation project.

Existing users please refer to the CHANGELOG for news.

Add the following dependency to your existing sbt project:

libraryDependencies += "org.combinators" %% "cls-scala-presentation-play-git" % "<VERSION>"

The string <VERSION> has to be replaced by the version you want. You can search for released versions here.

To obtain the latest unreleased development version, clone the repository and run sbt publishLocal.

Currently, Scala 2.11 and 2.12 are supported.

Please refer to the documentation project.

Join combinators/cls-scala on Gitter.

• Jan Bessai
• Boris Düdder
• Geroge T. Heineman

Just the usual: open pull requests and or issues. Feel free to add yourself to the list in this file, if you contributed something.