choices_06.lp 52 Bytes Edit Raw Blame History 1 2 3 4 5 a ; -a. :- a, not -a. % Answer: 1 % -a % SATISFIABLE
