AbsCon

AbsCon: A prototype to solve CSPs with abstraction