https://cspsat.gitlab.io/cream/
