Update solver to return bitcounts instead of bools.