Minkeyrink is a fast constraint solver for solving bit-vector and array problems. Minkeyrink is typically used to efficiently solve problems generated by software verification tools.

Minkeyrink can solve quantifier-free, array and bit-vector problems without array extensionality, expressed in the SMTLIB2 format.

Minkeyrink is free for non-commercial use. Commercial use of Minkeyrink requires a paid licence.

For free commercial use, we recommend using STP. Other good solvers which handle bit-vector and array problems are Boolector, CVC4 and Z3.

You can download Minkeyrink 2018.1 statically compiled for 64-bit Linux.