Francisco Coelho / zugzwang

code/asp/disj.lp 35 Bytes

64dd7c8f Francisco Coelho Solved subset exp...	1	`% prob(a) = 0.3`
53b3b48c Francisco Coelho Started pre-paper...	2	`a ; -a.`
7ae9c686 Francisco Coelho 2022-11-29 \| Reun...	3	`b ; c :- a.`