Minkeyrink is the product of extensive research into bit-vector and array solving. For many types of software verification problems, it is the fastest available solver.
If you have a question about Minkeyrink, email contact at minkeyrink.org