GITLAB
Francisco Coelho
/
zugzwang
Toggle navigation
Sign in
Sign in
Project
Files
Commits
Network
Graphs
Issues
0
Merge Requests
0
Wiki
Blame view
code/asp/drafts/choices_06.lp
50 Bytes
Edit
Raw
Normal View
History
3e0f9b8a
Francisco Coelho
back to work?
1 2 3 4 5
a::0.7. b ; c :- a. % Answer: 1 % -a % SATISFIABLE