SAT Solver

For a given Boolean formula, this algorithm checks if there is an interpretation that satisfies it. You can enter any boolean formula with any number of variables and combine them with boolean operators (i.e., "and", "or" and "not").