Software to solve basic set equations (in algebra of sets)?

460 Views Asked by At

What symbolic math software is able to solve basic set equations? E.g.

$X \setminus A = C \setminus X $, for $X$