✧✦Catherine✦✧ @whitequark@mastodon.social
how well documented are SMT solvers?
well, to figure out how you can get boolector to display numbers in hex, i had to load it in Binary Ninja just now and look for the function that does it
by the way, the answer is (set-option :output-number-format 3). it's completely undocumented as far as i can see
edit: actually it's 2
prozacchiwawa @prozacchiwawa@functional.cafe
@whitequark "oh it's easy just do everything like 3 smt-lib examples"
"oh well you're just not using the right logic"
"well of course it's not working, _that_ solver doesn't support QF_UFLIA by name you have to _specifically_ not set a logic"