allenai/tuffy — pull request #3 by ericgribkoff (2014-07-16 21:37:46+00:00)
Title: Disable greedy throttling

Fixes the uniform sampling for SampleSAT/WalkSAT.