com.github.tomasmikula:nutcracker_3 (maven): nutcracker
Keywords: constraint-programming|monotonic-refinement|propagators|sat-solver|scala