ELVIS - Easily Loaded Variable Implication Solver
Calculates implications for SAT problems
Direct implications determined simultaneously in parallel (MIMD)
Avoids NP-hard placement and routing (custom CAM design)
