% For testing the Missionaries domain

% Load domain description
:- include 'mc.cc'.

% Initially, all the missionaries  and cannibals
% are on Bank1
% We wish to have the them all on Bank2
:- query
maxstep :: 10..11;
label :: 0;
0: amount(m,bank1)=3,
   amount(c,bank1)=3,
   amount(m,bank2)=0,
   amount(c,bank2)=0;
maxstep:
   amount(m,bank1)=0,
   amount(c,bank1)=0,
   amount(m,bank2)=3,
   amount(c,bank2)=3.
