logic solver