source: vis_dev/sharpSAT/src/src_sharpSAT/Basics.cpp @ 17

#include "Basics.h"


bool CSolverConf::analyzeConflicts = true;
bool CSolverConf::doNonChronBackTracking = true;

bool CSolverConf::allowComponentCaching = true;
bool CSolverConf::allowImplicitBCP = true;

bool CSolverConf::allowPreProcessing = true;

bool CSolverConf::quietMode = false;

unsigned int CSolverConf::secsTimeBound = 10000000;   

unsigned int CSolverConf::maxCacheSize = 0;   
bool CSolverConf::count = true;

char TriValuetoChar(TriValue v){
     switch(v){
      case W: return '1';
      case F: return '0';
      case X: return '.';      
     };
     return '.';
    }