NuCS vs. Choco: a pure-Python solver meets a JVM veterangithub.com/yangeorget3 pointsyan_georget21 days ago