This work was developed by members of the Sape research group:
http://sape.inf.usi.ch/

See the LICENSE file for information about the license. 