Logic

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