GITLAB
Francisco Coelho
/
zugzwang
Toggle navigation
Sign in
Sign in
Project
Files
Commits
Network
Graphs
Issues
0
Merge Requests
0
Wiki
a8b1547e837c4e255b74f23234d2058df2910bc2
master
old-remote
a8b1547e837c4e255b74f23234d2058df2910bc2
zugzwang
code
problog
nats.pl
808facfe
Main text adapted to beamer
Browse Code »
Francisco Coelho
2 years ago
nats.pl
22 Bytes
Edit
Raw
Blame
History
1
2
n
(0).
n
(
s
(X))
:-
n
(X).