[SMT-LIB] Concerning Int sort

[Christopher L Conway]

Mohammad,

There are infinitely many values of sort Int. If you want fixed-size
"machine" integers, use bit-vectors (e.g., sort "(_ BitVec 32)")

-Chris

On Sun, Sep 25, 2011 at 8:41 AM, Mohammad Abdul Aziz
<mohammad.abdulaziz8 at gmail.com> wrote:
> 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
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib
>