search

positiveblue / SimpleSatSolver

A Simple Sat Solver
MIT License
1 stars 1 forks source link

Cmake #1

Closed positiveblue closed 7 years ago

positiveblue commented 7 years ago

First version of the CMake integration