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