HTab-1.5.4: examples/sat/test02.frm

signature { automatic } theory

{
 !(P1 & P1);
 P2 | P1
}