Running IDP on Windows 7 32bit

[fredericg]

Since I'm not always on my Linux computer I tried using IDP on Windows.(7, 32bit) When running idp.bat I get:

This version of .../kbs.exe is not compatible with the version of Windows you're running. Check your computer's system information to see whether you need a x86 (32-bit) or x64 (64-bit) version of the program, and then contact the software publisher.

I tried the Windows installer, as wel as the Windows binaries.

Also when downloading these files from sourceforge, I had to manually add the extensions (.exe, .zip, ...), they somehow got lost during the upload I guess?

[Broes De Cat]

Windows 32 bit version has been added. Can you verify whether it works?

[fredericg]

It does work, thanks!

[fredericg]

Is it possible to use the XSB features on Windows?

[Broes De Cat]

if you can convince XSB to compile a library file on windows ;) At the moment it is too much work for us to support this.