Copyright (C) 1998, Armin Biere, Carnegie Mellon University
