added algorithm 2 from 'finding all solutions & instances of numberlink and slitherlink by zdd' by minato et el