Minisat Namespace Reference