SAT Solver

Enter a series of clauses (one for each line):

Elapsed time: - ms

Solution: