This directory contains the ALF-program for the
missionaries and cannibals problem from the EQLOG-paper
by Goguen and Meseguer.

macXY.byt are the translated ALF-programs for the
MAC problem with X missionaries and Y cannibals.

Warning: You have to wait more than 1000 sec for the first
solution of mac33, so try mac22 and mac32 first!

