[SMTCOMP] Scrambler updated

Leonardo de Moura demoura at csl.sri.com
Wed Feb 22 14:14:52 EST 2006

Previous message: [SMTCOMP] Scrambler
Next message: [SMTCOMP] New benchmarks
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

The benchmark scrambler has been updated.
This update fixes a bug in examples that contain big numbers.

Previous message: [SMTCOMP] Scrambler
Next message: [SMTCOMP] New benchmarks
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the SMT-COMP mailing list