Francisco Coelho / zugzwang | GitLab

808facfe Main text adapted to beamer Browse Code »

Francisco Coelho
2022-09-16 16:11:00 +0100

credal_01.lp 39 Bytes

Edit Raw Blame History

a ; -a.

s :- not w, not a.
w :- not s.