powered by
Identifies and reduces redundant variables
reduce.sets(sets)
List of constraints as sets of variables