✧✦Catherine✦✧instead of: QF_BVA
have you considered: QF_BV and you concatenate all of your symbolic RAM into one big bit vector you shift by your load address
this will probably be faster and work on more solvers
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.