[SMTCOMP] scrambler updated

Leonardo de Moura demoura at csl.sri.com
Wed Jul 12 10:35:46 PDT 2006

Previous message: [SMTCOMP] RE: QF_UFBV: on last-minute extension with sign
Next message: [SMTCOMP] SMT-COMP info
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

The scrambler was updated. The new version supports the QF_UFBV32  
benchmarks.

http://www.csl.sri.com/users/demoura/smt-comp/scrambler.shtml

Leonardo

Previous message: [SMTCOMP] RE: QF_UFBV: on last-minute extension with sign
Next message: [SMTCOMP] SMT-COMP info
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the SMTCOMP mailing list