cspsat

https://cspsat.gitlab.io/