[SMT-LIB] correction to Ints.smt2

cok@frontiernet.net cok at frontiernet.net
Wed Nov 3 13:51:55 EDT 2010

Previous message: [SMT-LIB] get-model
Next message: [SMT-LIB] correction to Ints.smt2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Cesare:

The Ints.smt2 file is invalid in that the quoted string literal that is the value of :definition contains embedded quotes marks.

- David

Previous message: [SMT-LIB] get-model
Next message: [SMT-LIB] correction to Ints.smt2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the SMT-LIB mailing list