x
x
A Set of Sets. ex) {{a}, {-a}, {a,b}}
Enter
Export
Readme
Clauses
Literals
Write your set of clauses, and press the enter button!