Prepare for logic solver