OCaml Forge

Forum: regstab-first-release

Posted by: Vincent Aravantinos
Date: 2009-07-06 10:33
Summary:RegSTAB first release
Project:RegSTAB

RegSTAB is a SAT-solver able to deal with formula schemata.

i.e. you can give it a scheme of formula 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*.

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

Monitor Forum | Start New Thread Start New Thread