First model update to use the new logic solver