Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Is there a good reason that we did not include the scalar case?
The text was updated successfully, but these errors were encountered:
and double/float too.
Probably just an omission.
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
what about yices_model_set_yval? (e.g. yval is taken from some other model)
Is there a good reason that we did not include the scalar case?
The text was updated successfully, but these errors were encountered: