OCaml Forge

Forum: regstab-new-release

Posted by: Vincent Aravantinos
Date: 2009-08-17 18:02
Summary:RegSTAB new release
Project:RegSTAB

RegSTAB new release: performance is much improved.

In case the slow performance got you away from the previous versions, give it a new try!

---
RegSTAB is a SAT-solver able to deal with patterns of formulae.

i.e. you can give it a pattern such as "/\i=1..n P_i -> P_i+1" and it will be able to answer you if *all the formulas of this form (i.e. for every value of n) are unsatisfiable*. In one shot :)

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-new-release

Monitor Forum | Start New Thread Start New Thread