HIPPS logic solver

HIPPS logic solver