Alchemy: src/infer/maxwalksat.cpp Source File

00001 #include "maxwalksat.h"
00002 
00003 //e.g., /home/alchemy/src/infer/Maxwalksat20/maxwalksat
00004 char* MaxWalksat::maxWalksatExe_ = "./maxwalksat";