GITLAB
Francisco Coelho
/
zugzwang
Toggle navigation
Sign in
Sign in
Project
Files
Commits
Network
Graphs
Issues
0
Merge Requests
0
Wiki
master
old-remote
7087a6b5037aaf8403dbd469e1091feb8d545b6b
zugzwang
code
asp
dneg.lp
7087a6b5
Changed KR repo
Browse Code ยป
Francisco Coelho
2024-04-03 11:58:43 +0100
dneg.lp
36 Bytes
Edit
Raw
Blame
History
1
2
a(X); -a(X) :- X = 1. c(X) :- -a(X).
