[SMT-LIB] What does "c::main::1::IN!0 at 1#0" mean in a SMT-lib file?

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Thu Dec 17 11:52:05 EST 2015

Previous message: [SMT-LIB] What does "c::main::1::IN!0 at 1#0" mean in a SMT-lib file?
Next message: [SMT-LIB] Unknown status in Griggio's benchmark (QF_FP)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> Can anyone explains to me on the '|c::main::1::IN!0 at 1#0|' part? Thanks.

the SMT lib standard can (see "quoted symbols")

http://smtlib.cs.uiowa.edu/language.shtml

- J.W.

Previous message: [SMT-LIB] What does "c::main::1::IN!0 at 1#0" mean in a SMT-lib file?
Next message: [SMT-LIB] Unknown status in Griggio's benchmark (QF_FP)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the SMT-LIB mailing list