constraint and value counts, with unique float checking
Skeletons of dual-LP methods