SAT-Algorithms This repo contains a lot of ugly code. This code is not cleaned up! The blog for this independent study is hosted here