usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Refactor includes related to minisat components #720

Closed blishko closed 3 months ago

blishko commented 6 months ago

This is the first step towards cleaning up OpenSMT includes. The goal is to get to a state where the includes would work regardless if OpenSMT is used as a library or included as a subproject in another project. This should also help avoid name clashes with other projects.