OCaml Forge

View News | Submit

Choose a News item and you can browse, search, and post messages.

RegSTAB 2.0.0 released

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

- Complete refactoring

0 Comment Read More/Comment

RegSTAB 1.4.6 released

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

Fixed a huge bug that could make a satisfiable formula unsatisfiable. If this ever happened to you and made you forget about RegSTAB, then give it a new try!

0 Comment Read More/Comment

RegSTAB 1.4.4 released

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

- Added many examples

0 Comment Read More/Comment

RegSTAB 1.4.2 released !

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

-Fixed some bugs occurring in trivial cases

0 Comment Read More/Comment

RegSTAB 1.4

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

RegSTAB install is much easier. As a consequence it now works natively on Windows, and does not require Ocaml 3.11 anymore.

0 Comment Read More/Comment

RegSTAB new release

Vincent Aravantinos - 2009-08-17 18:02 - RegSTAB

RegSTAB new release: performance is much improved.

0 Comment Read More/Comment

RegSTAB first release

Vincent Aravantinos - 2009-07-06 10:33 - RegSTAB

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

0 Comment Read More/Comment