(CL)S - Combinatory Logic Synthesizer 

(CL)S is a framework to automatically synthesize software from combinators encapsulating its typed components. This is the official documentation for the (CL)S Framework.

Setup 

You first need to obtain the Scala Build Tool (sbt). Please follow the instructions at the offical sbt website.