Namespace List

Here is a list of all documented namespaces with brief descriptions:

NClauseUtils	Helping Functions for Clause Management (Hash and Equality)
Nmpiutils	A set of helper functions for distributed solver initialization and finalization using MPI
NParsers	A set of helper functions for CNF file parsing
NSystemResourceMonitor	A set of utilities for monitoring and managing system resources