Forum: regstab-new-release
Posted by: Vincent Aravantinos 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 |
Discussion Forums: regstab-new-release
Monitor Forum | 
Start New Thread
