usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

Model: Add a simple method to extend a model with value for a new variable #809

Closed blishko closed 1 week ago

blishko commented 2 weeks ago

This functionality is helpful for Golem and could be interesting for others as well. By adding the possibility of extension, we do not need to expose ModelBuilder to the outside world.