Closed jklenzing closed 3 years ago
Addresses pysat/pysat#473, test with pysat/pysat#556
Updates use of sat_id to inst_id.
sat_id
inst_id
Passing locally with the break/inst_id branch of pysat. Expected to fail on Travis until pysat/pysat#556 is merged.
break/inst_id
Addresses pysat/pysat#473, test with pysat/pysat#556
Updates use of
sat_idtoinst_id.Passing locally with the
break/inst_idbranch of pysat. Expected to fail on Travis until pysat/pysat#556 is merged.