Remove unused files from minisat component

usi-verification-and-security / opensmt

The opensmt solver

Other

78 stars 18 forks source link

Closed blishko closed 3 months ago

blishko commented 3 months ago

This should be all the files from minisat that are not used in OpenSMT.