A library for resource bounded reasoning.