Constraint solver for Google Go with a focus on concurrency and distributing work