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*.

Development Status : 5 - Production/Stable :
Environment : Console (Text Based) :
Intended Audience : End Users/Desktop :
License : GNU Lesser General Public with static compilation exception :
Natural Language : English :
French :
Operating System : OS Independent :
Programming Language : OCaml :
Topic : Artificial Intelligence :
Mathematics :

Latest News

RegSTAB 2.0.0 released

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

0 Comment Read More/Comment

RegSTAB 1.4.6 released

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

0 Comment Read More/Comment

RegSTAB 1.4.4 released

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

0 Comment Read More/Comment

RegSTAB 1.4.2 released !

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

0 Comment Read More/Comment

RegSTAB 1.4

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

0 Comment Read More/Comment

News archive

Submit News

Discussion Forums: regstab-first-release

Monitor Forum |

Start New Thread