Model counting (sharpSAT + context-assume couning)
TCLAP library to parse command line arguments