Is there any website for set theory solvers? Nowadays, there is a tool for any mathematical problem like Integral solvers, simplifier and so forth. But as of now, I wasn't able to find a PROPER set theory solver (for more complex set terms). It would be sufficient to display a Venn Diagramm or even simplify it with some known axioms..
Only tool that is remotely capable of that is Wolfram Alpha tho they are actually barely able to comprehend multiple terms with brackets. Furthermore, they require to describe the term in language (i.e. Symmetric Difference of (Union A and B) and (C intersect (complement B))) which is kinda brain dead.

Searched for such a tool for like 5 hours. If someone can help me with a proper one, would pay a small bounty in BTC :))