Boolean satisfiability problem

Input

Options

Algorithm

Sample problems