SAT0
My implementation of Algorithm 7.2.2.2A (very basic SAT solver)
SAT0W
My implementation of Algorithm 7.2.2.2B (teeny tiny SAT solver)
SAT8
My implementation of Algorithm 7.2.2.2W (WalkSAT)
SAT9
My implementation of Algorithm 7.2.2.2S (survey propagation SAT solver)
SAT10
My implementation of Algorithm 7.2.2.2D (Davis-Putnam SAT solver)
SAT11
My implementation of Algorithm 7.2.2.2L (lookahead 3SAT solver)
SAT11K
Change file to adapt SAT11 to clauses of arbitrary length
SAT12 and the companion program SAT12-ERP
My implementation of a simple preprocessor for SAT
SAT13
My implementation of Algorithm 7.2.2.2C (conflict-driven clause learning SAT solver)

Yes, I know about these lousy Disqus ads.
Please use adblocker.
I would consider to subscribe to 'pro' version of Disqus if the signal/noise ratio in comments would be good enough.