Resolver SAT online

Escreve um conjunto de cláusulas e o algoritmo DPLL diz-te se é satisfazível.