News
SMT-COMP 2010 (19 July 2010)
SMT-COMP 2010 is over. MiniSmt participated in two categories which it dominated.
Automated tools for satisfiability modulo theories (SMT) are indispensable for many aspects of soft- and hardware verification. To demonstrate current challenges and advancements a competition of such tools is organised annually. 20 different theories have been considered for the 2010 edition of this event. MiniSmt, an open source SMT solver for non-linear arithmetic (over integer and non-integral domains) has won both dedicated categories.
Links: