Fix SatConstraintsConverter
Fix ModelViewsConverter