An implementation of the Davis-Putnam algorithm that solves mazes with treasures and tolls