Advanced search
Log In | New Account   
Home My Page Project Tree Code Snippets Project Openings RegSTAB
Summary Activity Forums Tracker Docs News Files
Posted by: Vincent Aravantinos
Date: 2009-07-06 12: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 1.4.4 released
    Vincent Aravantinos - 2010-05-19 18:26
RegSTAB 1.4.2 released !
    Vincent Aravantinos - 2009-12-09 20:26
RegSTAB 1.4
    Vincent Aravantinos - 2009-09-29 09:41
RegSTAB new release
    Vincent Aravantinos - 2009-08-17 20:02
RegSTAB first release
    Vincent Aravantinos - 2009-07-06 12:33

Discussion Forums: regstab-first-release

Start New Thread Start New Thread

 

Topic Topic Starter Replies Last Post
   

Powered By GForge Collaborative Development Environment