krox / sat

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

Geek Repo

Github PK Tool