Solve a propositional formula (see syntax below):

using showing

a

of type for variables

More problems: satlib, competitions

Result

Process in milliseconds