NuCS vs. Choco: a pure-Python solver meets a JVM veteran(github.com)
3 pointsby yan_georget3 hours ago1 comment