Skip to content

Latest commit

 

History

History
2 lines (2 loc) · 194 Bytes

README.md

File metadata and controls

2 lines (2 loc) · 194 Bytes
Raw

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.