New website is about to be released soon. It will be the official website of the project SolidOpt and it is going to redirect to the SolidOpt-related projects.
