In this version, the bit-vector solver has been refactored and partly reimplemented; the solver is more lazy than ever and should perform better on problems with bit-level operators like bvand, etc..
In this version, the bit-vector solver has been refactored and partly reimplemented; the solver is more lazy than ever and should perform better on problems with bit-level operators like bvand, etc..