[GPS] add extrapolate, refactor interpolate in srk

zkincaid / duet

Duet: static analysis for unbounded concurrency

http://duet.cs.toronto.edu

MIT License

23 stars 17 forks source link

Closed ruijiefang closed 2 months ago

ruijiefang commented 1 year ago

add Transition.extrapolate for extrapolation in srk
refactor interpolate code in preparation for adding interpolate_or_model
add optional argument for accepting a solver object in various places (srkZ3, Smt, Quantifier modules) in order to save memory when possible.