SMART LOGIC SOLVER