%%clingo -V0 0
{ a }.
a SATISFIABLE
Note: There is an empty line in the output. It represents the empty stable model.
%%clingo -V0 0
{a} :- b.
b.
%%clingo -V0 0
{ a }.
b :- a.
c :- not a.
c a b SATISFIABLE
%%clingo -V0 0
{ a }.
b :- a.
b :- not a.
%%clingo -V0 0
{ a }.
{ b }.
a b b a SATISFIABLE
%%clingo -V0 0
{ a } :- c.
{ b } :- d.
c.
d :- c.
%%clingo -V0 0
{ a }.
{ b } :- a.
a a b SATISFIABLE
%%clingo -V0 0
{ a }.
{ b } :- c.
c :- a.
%%clingo -V0 0
{ a }.
{ b } :- a.
{ c } :- not a.
c a a b SATISFIABLE
%%clingo -V0 0
{ a }.
{ b } :- d.
{ c } :- not d.
d :- a.
%%clingo -V0 0
{ a; b }.
c :- not a, not b.
d :- a, b.
c b a a b d SATISFIABLE
%%clingo -V0 0
{ a; b }.
c :- not a, b.
d :- a, not b.
%%clingo -V0 0
{ a; b }.
b :- a.
a :- b.
a b SATISFIABLE
%%clingo -V0 0
{ a; b; c }.
b :- a.
a :- c.
c :- b.
%%clingo -V0 0
{ a; b }.
b :- a.
a :- b.
{ c } :- not a, not b.
c a b SATISFIABLE
%%clingo -V0 0
{ a; b }.
b :- a.
a :- b.
{ c } :- a, b.