search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
368 stars 46 forks source link

yices_model_set_<type> api in 2.6.4 #392

Open ianamason opened 2 years ago

ianamason commented 2 years ago

Is there a good reason that we did not include the scalar case?

ianamason commented 2 years ago

and double/float too.

BrunoDutertre commented 2 years ago

Probably just an omission.

ahmed-irfan commented 1 year ago

Also add a method called yices_model_set_term that maps a variable to the given term (term_t representing a value) -- as in yices_model_from_map

ahmed-irfan commented 1 year ago

what about yices_model_set_yval? (e.g. yval is taken from some other model)