Skip to content
/ ROB Public

CMSC858D 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.

Notifications You must be signed in to change notification settings

dymil/ROB

Repository files navigation

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.

About

CMSC858D 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.

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published