conda/conda — pull request #573 by asmeurer (2014-02-20 20:34:55+00:00)
Title: Logic

This is my work on the pseudo-boolean SAT solver (https://github.com/conda/conda/issues/568).