Utilities

Different Utilities. More...

Namespaces
namespace	ClauseUtils
	Helping Functions for Clause Management (Hash and Equality)
namespace	mpiutils
	A set of helper functions for distributed solver initialization and finalization using MPI.
namespace	Parsers
	A set of helper functions for CNF file parsing.
namespace	SystemResourceMonitor
	A set of utilities for monitoring and managing system resources.

Classes
struct	Parameters

Macros
#define	PARAMETERS

Variables
Parameters	__globalParameters__

Detailed Description

Different Utilities.