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