krox/sat

My attempt at SAT solving. Not really state-of-the-art.

DUnlicense