<p>how well documented are SMT solvers?</p><p>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</p><p>by the way, the answer is (set-option :output-number-format 3). it's completely undocumented as far as i can see</p>
