Hide content and notifications from this user.
Contact Support about this user's behavior.
Facebook Command Line Interface
The Stochastic Local Search SAT Solver from UBC
Dave's github web page
Dave Tompkins: teacher evaluations
Dave's UVa Online Judge solutions
Seeing something unexpected? Take a look at the
GitHub profile guide.