CDCL SAT SOLVER SAT Solver based on general CDCL techniques. This solver was coded as part of a second year project at DTU. Written in Xcode 9 Tools used Google Test - Unit tests . RapidJSON - JSON library to output solution in a general format