fixing conflict in includes
moved minisat functions to Graph class