Closed Skybound1 closed 1 year ago
Moves model.vars into model.smt2 so we don't need to do hash checks, and the saved files are always aligned. Also allows user to have multiple model.vars active at a time without having to specify custom names twice
model.vars
model.smt2
Moves
model.vars
intomodel.smt2
so we don't need to do hash checks, and the saved files are always aligned. Also allows user to have multiple model.vars active at a time without having to specify custom names twice