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.
dymil / rob Goto Github PK
View Code? Open in Web Editor NEWCMSC858D class project. Implements indexing a boolean matrix and querying for columns which satisfy a CNF expression – optimize the chance of short-circuiting by sorting the clauses.