HOW TO USE In order to compile the cdcl-vsads/solver go to that directory and use ./configure && make.