GITLAB

Francisco Coelho / zugzwang

Sign in

Project
Files
Commits
Network
Graphs
Issues 0
Merge Requests 0
Wiki

Blame view

code/asp/assp_pag43.lp 17 Bytes

Edit Raw Normal View History

Francisco Coelho Main text adapted...

1
2

q.
p :- q, not r.