Error when attempting to install

[ks-kasai]

Hi, I've followed (what I think is) the correct install process for windows 10:

• install python (3.13) on pc,
• install/update VS, add python and c++ packages
• download and unzip your code
• open cmd (admin) to the above folder and run commands

The issue is, I get some errors after running the pip install --editable . command.
I get the normal results, until it reaches the below:

Building wheel for python-sat (pyproject.toml) ... error
  error: subprocess-exited-with-error

  × Building wheel for python-sat (pyproject.toml) did not run successfully.
  │ exit code: 1
  ╰─> [2571 lines of output]

Then, there's a lot of the typical error code stuff, before it goes back to your stuff, and at the very end it says:

"C:\Program Files\Microsoft Visual Studio\2022\Community\VC\Tools\MSVC\14.42.34433\bin\HostX86\x64\cl.exe" /c /nologo /O2 /W3 /GL /DNDEBUG /MD -Isolvers -IC:\Users\xxxxx\Desktop\Random_Little_Programs\Factorio-SAT-main\.venv\include "-IC:\Program Files\Python313\include" "-IC:\Program Files\Python313\Include" "-IC:\Program Files\Microsoft Visual Studio\2022\Community\VC\Tools\MSVC\14.42.34433\include" "-IC:\Program Files\Microsoft Visual Studio\2022\Community\VC\Tools\MSVC\14.42.34433\ATLMFC\include" "-IC:\Program Files\Microsoft Visual Studio\2022\Community\VC\Auxiliary\VS\include" "-IC:\Program Files (x86)\Windows Kits\10\include\10.0.22621.0\ucrt" "-IC:\Program Files (x86)\Windows Kits\10\\include\10.0.22621.0\\um" "-IC:\Program Files (x86)\Windows Kits\10\\include\10.0.22621.0\\shared" "-IC:\Program Files (x86)\Windows Kits\10\\include\10.0.22621.0\\winrt" "-IC:\Program Files (x86)\Windows Kits\10\\include\10.0.22621.0\\cppwinrt" /EHsc /Tpsolvers/cadical103/analyze.cpp /Fobuild\temp.win-amd64-cpython-313\Release\solvers/cadical103/analyze.obj -DNBUILD -DNLGLYALSAT /DINCREMENTAL -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLFILES -DNLGLDEMA -I./win -DWITH_CADICAL103 -DWITH_CADICAL153 -DWITH_CADICAL195 -DWITH_GLUECARD30 -DWITH_GLUECARD41 -DWITH_GLUCOSE30 -DWITH_GLUCOSE41 -DWITH_GLUCOSE421 -DWITH_LINGELING -DWITH_MAPLECHRONO -DWITH_MAPLECM -DWITH_MAPLESAT -DWITH_MERGESAT3 -DWITH_MINICARD -DWITH_MINISAT22 -DWITH_MINISATGH
      analyze.cpp
      C:\Users\xxxxx\AppData\Local\Temp\pip-install-5lvpb_9x\python-sat_d248b9e622d34afe8bc3d306bd2e7cb9\solvers\cadical103\internal.hpp(21): fatal error C1083: Cannot open include file: 'unistd.h': No such file or directory
      error: command 'C:\\Program Files\\Microsoft Visual Studio\\2022\\Community\\VC\\Tools\\MSVC\\14.42.34433\\bin\\HostX86\\x64\\cl.exe' failed with exit code 2
      [end of output]

  note: This error originates from a subprocess, and is likely not a problem with pip.
  ERROR: Failed building wheel for python-sat
Successfully built factorio-sat
Failed to build python-sat
ERROR: ERROR: Failed to build installable wheels for some pyproject.toml based projects (python-sat)

I've already tried:

• deleting the venv and restarting my pc, a lot,
• reinstalling python,
• repairing and reinstalling all vs packages,
• installing/updating various python packages (thanks to google): setuptools, pycocotools, Pyrebase4, etc

I'm not sure if I'm doing anything wrong myself, or if there's a bug/incompatibility with your code (doesn't support python 3.13 maybe?) but I'd appreciate if you had any ideas, or need any more info. I also attached a log copied from cmd. Thanks in advance.
cmd history.txt

[ignaloidas]

Seems like the problem is in that the python-sat package doesn't provide any precompiled wheels for your operating system, and you don't have the required compilers installed. Seems like you're running 32-bit windows? There are wheels for 64-bit windows which should work.

Compiling issue itself seems to be from python-sat project having unix includes in windows builds, probably best to report it to them.

[ks-kasai]

I don't think that's quite right, since I am running 64 bit windows:


I've also tried running the usual cleanup commands:

DISM /Online /Cleanup-Image /RestoreHealth
sfc /scannow
chkdsk /f c:

Do you know if it would be possible for me to manually install these wheels somehow?
Aside from that or a complete windows reinstall, I can't think of any other steps aside from reporting to microsoft as you said.