GITLAB

Francisco Coelho / zugzwang

Sign in
  • Sign in
  • Project
  • Files
  • Commits
  • Network
  • Graphs
  • Issues 0
  • Merge Requests 0
  • Wiki
  • zugzwang
  • code
  • asp
  • tohI.lp
  • 808facfe   Main text adapted to beamer Browse Code ยป
    Francisco Coelho
    2022-09-16 16:11:00 +0100  
tohI.lp 102 Bytes
Edit Raw Blame History
1 2 3 4 5 6 7
#const moves = 15.

%   instance
peg(a ; b ; c).
disk(1 .. 4).
init_on(1 .. 4, a).
goal_on(1 .. 4, c).