We have recently moved from Bitbucket into Github. The old Bitbucket repository is now a mirror of Github, it has been set up to read only and it will not be maintained any further. For any communication please use our Github Repo.
Welcome to our SOLLVE project!
For more information, publications, presentations and results, please check out our website.