/// <summary>
/// Create CUDD with maxMemory in MB
/// [ REFS: 'none', DEREFS: 'none' ]
/// </summary>
public static void InitialiseCUDD(int maxMemory, int uniqueSlots, int cacheSlots, double epsilon)
{
manager = PlatformInvoke.DD_InitialiseCUDD(maxMemory, uniqueSlots, cacheSlots, epsilon);
ZERO = Constant(0);
ONE = Constant(1);
PLUS_INFINITY = PlusInfinity();
MINUS_INFINITY = MinusInfinity();
//PlatformInvoke.Cudd_SetStdoutToFile(manager, Environment.GetFolderPath(Environment.SpecialFolder.Desktop) + @"\out.txt");
}