[SMT-LIB] Concerning Int sort

Mohammad Abdul Aziz mohammad.abdulaziz8 at gmail.com
Sun Sep 25 08:41:54 EDT 2011

Previous message: [SMT-LIB] "typecast" for bitvec?
Next message: [SMT-LIB] Concerning Int sort
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi all,
I want to know whether the size of the sort Int is fixed and determined in
the smtlib standard?
Yours,
Mohammad Abdul Aziz

Previous message: [SMT-LIB] "typecast" for bitvec?
Next message: [SMT-LIB] Concerning Int sort
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the SMT-LIB mailing list