Test a simple Boolean expression for satisfiability.
Find a satisfying assignment.
Find a satisfying assignment while specifying the variable set to be {a,b,c}.
>
|
|
| (3) |
>
|
|
The following returns NULL since it is unsatisfiable.
Test a Boolean expression for satisfiability, while providing customized values for the step_size and rnd_init_act MapleSAT parameters.
>
|
|
| (5) |