edit SideBar
library(ic) is a constraint propagation solver for variables that range over finite domains or continuous intervals.