Elegant Boolean satisfiability solver