Central repository for managing the implementation of the InSynth solver and reconstructor, independent of the domain language. It represents the core framework that implements the main algorithms for type inhabitation and lazy enumeration of inhabitants. The aim of this repository is to provide the InSynth core library that can be reused for many different languages like Scala or Leon.
More info about InSynth can be found here.