/****************************************************************************** * code ******************************************************************************/ --The directory primitives/ defines the sat primitives you need to implement. All your work should be done in this directory, and you will only submit this directory --The directory sat_solver/ includes C code to build a sat solver. When you finish implementing the sat primitives, you can immediately build a sat solver by linking the static C library libsat.a with the code in this directory (you will create libsat.a in the directory primitives/). Then you can test your functions on the sat solver. --The directory c2D_code/ includes the code for c2D, which is a knowledge compiler/model counter. When you finish implementing the sat primitives, you can immediately use the c2D by linking the static C library libsat.a with the code in this directory (you will create libsat.a in the directory primitives). For the class-wide competition, we will use the c2D linked with your implementation of libsat.a. Do not change any piece of code in this directory while testing your implementation. That is, your implementation should be working without making any changes to the current directory (as this is how we will test it). --The directory benchmarks/ contains some cnf instances that will be used during the competition. You can test your implementation on these instances. --The directory executables/ contains executables we obtained by linking our own sat library with the provided code