OCaml Forge

Forum: regstab-1.4.6-released

Posted by: Vincent Aravantinos
Date: 2010-11-20 17:31
Summary:RegSTAB 1.4.6 released
Project:RegSTAB

Fixed a huge bug that could make a satisfiable formula unsatisfiable. If this ever happened to you and made you forget about RegSTAB, then give it a new try!

Latest News

RegSTAB 2.0.0 released

Vincent Aravantinos - 2012-05-06 15:34 -

RegSTAB 1.4.6 released

Vincent Aravantinos - 2010-11-20 17:31 -

RegSTAB 1.4.4 released

Vincent Aravantinos - 2010-05-19 16:26 -

RegSTAB 1.4.2 released !

Vincent Aravantinos - 2009-12-09 19:26 -

RegSTAB 1.4

Vincent Aravantinos - 2009-09-29 07:41 -

Discussion Forums: regstab-1.4.6-released

Monitor Forum | Start New Thread Start New Thread