add search and CDCL
add a Dimacs parser