Spinroot

Harry

Member

Registered: 2012-01-18

Posts: 8

SPIN-Version with temporal operator X (next)

Hello,

it is possible to upload a precompiled binary executable SPIN version (for Win7) with the temporal operator X (next) enabled?
I really would appreciate it.

Thanks.

Harry

Member

Registered: 2012-01-18

Posts: 8

Re: SPIN-Version with temporal operator X (next)

Hm, is "-DNXT" already enabled in the precompiled spin version that is downloadable on the download page?
For me the X-operator seems to work with the standard-version of SPIN?!

spinroot

forum

Registered: 2010-11-18

Posts: 702

Website

Re: SPIN-Version with temporal operator X (next)

Yes, it is currently enabled by default.