Outline SATPlan Programming TrickS · Programming SATPlan c.222003 16.410/13, Programming SATPlan, Greg SullivanOutline • SATPlan • Programming Tricks • Programming SATPlan Oct. 22, 2003 16.410/13, Programming SATPlan, Greg Sullivan 2