CMSC858D_proj

This implements indexing a boolean matrix and querying for columns which satisfy a CNF expression; the idea is to optimize the chance of short-circuiting by sorting the clauses.