SAT solver Error

[ZsadZ]

Hi, im having trouble with getting the calculations to work. ive tried both 1.0.5 and 1.0.4 but get a error message
Result: Failed (SAT solver error: Solver ecited code -1 without SAR/UNSAT marker- stderr: PARSE ERROR! Unexpected char (dec: `?) ar line 2 we expected a number - 00:00.239)

[trk20]

Could you give some more information? It's difficult to help with an issue I can't reproduce.

Screenshots/Videos, what OS you're using, where you installed it (sometimes protected folders can cause issues), etc

[ZsadZ]

The message comes after i click solve. Im on windows 11

[trk20]

@ZsadZ I think the issue was due to windows sometimes using CLRF to do AppendLine instead of the LF that the solver expects
I changed it to use LF explicitly, you can see if this latest release resolves the issue