SatSolver Requirements make stack Run project git clone https://github.com/Barazok/SatSolver cd SatSolver make Clean project make clean