3 ms·
Why is it limited/restricted to 32-bit bitvectors?
by QwertyPi 3y ago
Why is it limited/restricted to 32-bit bitvectors?
- lifthrasiir 3y agoNot the author, but it is large enough to generalize to any other big bitvectors and small enough to handle. The use of SAT solver of course means that 32-bit is not a hard limit, but humans can't easily look at them.