[SMTCOMP] a question on the benchmark scrambler

Leonardo de Moura demoura at csl.sri.com
Fri Jul 21 11:28:15 EDT 2006

Previous message: [SMTCOMP] a question on the benchmark scrambler
Next message: [SMTCOMP] SMT-COMP info
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi Hyondeuk,

> I wonder how equalities can be permuted.

I meant the following transformation:

(= (- x y) c)     --->     (= c (- x y))

Leonardo

Previous message: [SMTCOMP] a question on the benchmark scrambler
Next message: [SMTCOMP] SMT-COMP info
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the SMT-COMP mailing list