14-Feb-2018

Minkeyrink 2018.1 has been released. It fixes defects in model generation via SMTLIB2.


19-Jul-2017 : SMTCOMP 2017

Minkeyrink solved the most problems in the QF_BV division of SMTCOMP2017.


4-Dec-2016 : Minkeyrink 2016.5

Minkeyrink 2016.5 has been released. You can download here.


29-Sep-2016 : Development Update

A quick update about the current development version of Minkeyrink. We're speeding up the simplifications that are performed to QF_BV problems before SAT Solving. It's looking good, 2016.5 takes half the time to simplify problems compared to its predecessors.


22-Jun-2012 : PhD

Trevor Hansen has been awarded a PhD, for his dissertation describing contributions to bit-vector and array solving.