Boolean Satisfiability Problem Solvers

Solvers for boolean expressions. A boolean expression, lets say x or y The solver will output possible values that satisfy the condition. in this case, x=True,Y=True, x=True,y=False,x=False,y=Trueare its outputs.