Mirror of forum.nim-lang.org

13490 :: Nimble long sat solver issue "Unsatisfiable dependencies" but no obvious error.

• enthus1ast (orginal) [2025-11-02T00:20:09+01:00] view original

  Any idea what is the issue here?

  I try to make a new release of https://github.com/enthus1ast/nimDownloadGrist

  When i try to compile the repo via nimble it fails with this super long sat solver error. But when i look through the output, i do not see any issue. Any idea what this could be?

  Nim:

  
  david@dnd:~$ nim -v
  Nim Compiler Version 2.2.6 [Linux: amd64]
  Compiled at 2025-10-31
  Copyright (c) 2006-2025 by Andreas Rumpf
  
  git hash: ab00c56904e3126ad826bb520d243513a139436a
  active boot switches: -d:release
  Run

  Nimble:

  
  david@dnd:~$ nimble -v
  nimble v0.20.1 compiled at 2025-10-31 02:15:47
  git hash: couldn't determine git hash
  Run

  
  $  nimble release
    
    
    Warning:  No .nimble file found for /home/david/.nimble/pkgs2/nimCms-0.9.0-76c8e8ac3a78f4e34971c785ac7270674ee9e456
    Warning:  No .nimble file found for /home/david/.nimble/pkgs2/nimCms-0.10.0-ea01ecc34497c4bd483d43ae752f005724e5697f
    Warning:  No .nimble file found for /home/david/.nimble/pkgs2/nimCms-0.10.0-f8afb96c67195b3a4ec8db3b491e413faf50208a
    Warning:  No .nimble file found for /home/david/.nimble/pkgs2/nimCms-0.15.0-76a2725fc856796e8cae56a5c7900d06ecf436e4
    Warning:  No .nimble file found for /home/david/.nimble/pkgs2/nimCms-0.8.0-e8e13d8810b0de91622ff02a35be1ff772006014
    Warning:  No .nimble file found for /home/david/.nimble/pkgs2/nimCms-0.27.0-29fd8d16383886a04e3579e8f4f7e0e4f9e68901
    Warning:  No .nimble file found for /home/david/.nimble/pkgs2/nimCms-0.14.0-7df40037d31016268a1666256c34746080072916
    Warning:  No .nimble file found for /home/david/.nimble/pkgs2/nimCms-0.19.0-61a9de1cbe091165cb6d3caf9ccde7f1a006fd8b
        Error Failed to find satisfiable solution:
          ... Version selection analysis:
          ... Package downloadGrist:
          ...   No version selected!
          ...   Available versions:
          ...     0.5.0
          ... Package https://github.com/enthus1ast/nimLoggingPosix:
          ...   No version selected!
          ...   Available versions:
          ...     0.1.0
          ... Package zippy:
          ...   No version selected!
          ...   Available versions:
          ...     0.10.11
          ... Package https://github.com/enthus1ast/nimGristApi:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.6
          ... Package https://github.com/enthus1ast/formatja:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.0
          ... Package unicodedb:
          ...   No version selected!
          ...   Available versions:
          ...     0.12.0
          ... Package sim:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.2
          ... Package regex:
          ...   No version selected!
          ...   Available versions:
          ...     0.21.0
          ... Package zigcc:
          ...   No version selected!
          ...   Available versions:
          ...     3.0.0
          ... Package glob:
          ...   No version selected!
          ...   Available versions:
          ...     0.11.3
          ... Package nim:
          ...   No version selected!
          ...   Available versions:
          ...     2.0.4
          ... Package nimja:
          ...   No version selected!
          ...   Available versions:
          ...     0.9.1
          ... Package libcurl:
          ...   No version selected!
          ...   Available versions:
          ...     1.0.0
          ... Package puppy:
          ...   No version selected!
          ...   Available versions:
          ...     2.0.3
          ... Package webby:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.1
          ... Failed to find satisfiable solution:
          ... Version selection analysis:
          ... Package downloadGrist:
          ...   No version selected!
          ...   Available versions:
          ...     0.5.0
          ... Package https://github.com/enthus1ast/nimLoggingPosix:
          ...   No version selected!
          ...   Available versions:
          ...     0.1.0
          ... Package zippy:
          ...   No version selected!
          ...   Available versions:
          ...     0.10.11
          ... Package https://github.com/enthus1ast/nimGristApi:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.6
          ... Package https://github.com/enthus1ast/formatja:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.0
          ... Package unicodedb:
          ...   No version selected!
          ...   Available versions:
          ...     0.12.0
          ... Package sim:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.2
          ... Package regex:
          ...   No version selected!
          ...   Available versions:
          ...     0.21.0
          ... Package zigcc:
          ...   No version selected!
          ...   Available versions:
          ...     3.0.0
          ... Package glob:
          ...   No version selected!
          ...   Available versions:
          ...     0.11.3
          ... Package nim:
          ...   No version selected!
          ...   Available versions:
          ...     2.0.4
          ... Package nimja:
          ...   No version selected!
          ...   Available versions:
          ...     0.9.1
          ... Package libcurl:
          ...   No version selected!
          ...   Available versions:
          ...     1.0.0
          ... Package puppy:
          ...   No version selected!
          ...   Available versions:
          ...     2.0.3
          ... Package webby:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.1
          ... Failed to find satisfiable solution:
          ... Version selection analysis:
          ... Package downloadGrist:
          ...   No version selected!
          ...   Available versions:
          ...     0.5.0
          ... Package https://github.com/enthus1ast/nimLoggingPosix:
          ...   No version selected!
          ...   Available versions:
          ...     0.1.0
          ... Package zippy:
          ...   No version selected!
          ...   Available versions:
          ...     0.10.11
          ... Package https://github.com/enthus1ast/nimGristApi:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.6
          ... Package https://github.com/enthus1ast/formatja:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.0
          ... Package unicodedb:
          ...   No version selected!
          ...   Available versions:
          ...     0.12.0
          ... Package sim:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.2
          ... Package regex:
          ...   No version selected!
          ...   Available versions:
          ...     0.21.0
          ... Package zigcc:
          ...   No version selected!
          ...   Available versions:
          ...     3.0.0
          ... Package glob:
          ...   No version selected!
          ...   Available versions:
          ...     0.11.3
          ... Package nim:
          ...   No version selected!
          ...   Available versions:
          ...     2.0.4
          ... Package nimja:
          ...   No version selected!
          ...   Available versions:
          ...     0.9.1
          ... Package libcurl:
          ...   No version selected!
          ...   Available versions:
          ...     1.0.0
          ... Package puppy:
          ...   No version selected!
          ...   Available versions:
          ...     2.0.3
          ... Package webby:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.1
          ... Failed to find satisfiable solution:
          ... Version selection analysis:
          ... Package downloadGrist:
          ...   No version selected!
          ...   Available versions:
          ...     0.5.0
          ... Package https://github.com/enthus1ast/nimLoggingPosix:
          ...   No version selected!
          ...   Available versions:
          ...     0.1.0
          ... Package zippy:
          ...   No version selected!
          ...   Available versions:
          ...     0.10.11
          ... Package https://github.com/enthus1ast/nimGristApi:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.6
          ... Package https://github.com/enthus1ast/formatja:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.0
          ... Package unicodedb:
          ...   No version selected!
          ...   Available versions:
          ...     0.12.0
          ... Package sim:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.2
          ... Package regex:
          ...   No version selected!
          ...   Available versions:
          ...     0.21.0
          ... Package zigcc:
          ...   No version selected!
          ...   Available versions:
          ...     3.0.0
          ... Package glob:
          ...   No version selected!
          ...   Available versions:
          ...     0.11.3
          ... Package nim:
          ...   No version selected!
          ...   Available versions:
          ...     2.0.4
          ... Package nimja:
          ...   No version selected!
          ...   Available versions:
          ...     0.9.1
          ... Package libcurl:
          ...   No version selected!
          ...   Available versions:
          ...     1.0.0
          ... Package puppy:
          ...   No version selected!
          ...   Available versions:
          ...     2.0.3
          ... Package webby:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.1
          ... Failed to find satisfiable solution:
          ... Version selection analysis:
          ... Package downloadGrist:
          ...   No version selected!
          ...   Available versions:
          ...     0.5.0
          ... Package https://github.com/enthus1ast/nimLoggingPosix:
          ...   No version selected!
          ...   Available versions:
          ...     0.1.0
          ... Package zippy:
          ...   No version selected!
          ...   Available versions:
          ...     0.10.11
          ... Package https://github.com/enthus1ast/nimGristApi:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.6
          ... Package https://github.com/enthus1ast/formatja:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.0
          ... Package unicodedb:
          ...   No version selected!
          ...   Available versions:
          ...     0.12.0
          ... Package sim:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.2
          ... Package regex:
          ...   No version selected!
          ...   Available versions:
          ...     0.21.0
          ... Package zigcc:
          ...   No version selected!
          ...   Available versions:
          ...     3.0.0
          ... Package glob:
          ...   No version selected!
          ...   Available versions:
          ...     0.11.3
          ... Package nim:
          ...   No version selected!
          ...   Available versions:
          ...     2.0.4
          ... Package nimja:
          ...   No version selected!
          ...   Available versions:
          ...     0.9.1
          ... Package libcurl:
          ...   No version selected!
          ...   Available versions:
          ...     1.0.0
          ... Package puppy:
          ...   No version selected!
          ...   Available versions:
          ...     2.0.3
          ... Package webby:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.1
          ... Failed to find satisfiable solution:
          ... Version selection analysis:
          ... Package downloadGrist:
          ...   No version selected!
          ...   Available versions:
          ...     0.5.0
          ... Package https://github.com/enthus1ast/nimLoggingPosix:
          ...   No version selected!
          ...   Available versions:
          ...     0.1.0
          ... Package zippy:
          ...   No version selected!
          ...   Available versions:
          ...     0.10.11
          ... Package https://github.com/enthus1ast/nimGristApi:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.6
          ... Package https://github.com/enthus1ast/formatja:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.0
          ... Package unicodedb:
          ...   No version selected!
          ...   Available versions:
          ...     0.12.0
          ... Package sim:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.2
          ... Package regex:
          ...   No version selected!
          ...   Available versions:
          ...     0.21.0
          ... Package zigcc:
          ...   No version selected!
          ...   Available versions:
          ...     3.0.0
          ... Package glob:
          ...   No version selected!
          ...   Available versions:
          ...     0.11.3
          ... Package nim:
          ...   No version selected!
          ...   Available versions:
          ...     2.0.4
          ... Package nimja:
          ...   No version selected!
          ...   Available versions:
          ...     0.9.1
          ... Package libcurl:
          ...   No version selected!
          ...   Available versions:
          ...     1.0.0
          ... Package puppy:
          ...   No version selected!
          ...   Available versions:
          ...     2.0.3
          ... Package webby:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.1
          ... Failed to find satisfiable solution:
          ... Version selection analysis:
          ... Package downloadGrist:
          ...   No version selected!
          ...   Available versions:
          ...     0.5.0
          ... Package https://github.com/enthus1ast/nimLoggingPosix:
          ...   No version selected!
          ...   Available versions:
          ...     0.1.0
          ... Package zippy:
          ...   No version selected!
          ...   Available versions:
          ...     0.10.11
          ... Package https://github.com/enthus1ast/nimGristApi:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.6
          ... Package https://github.com/enthus1ast/formatja:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.0
          ... Package unicodedb:
          ...   No version selected!
          ...   Available versions:
          ...     0.12.0
          ... Package sim:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.2
          ... Package regex:
          ...   No version selected!
          ...   Available versions:
          ...     0.21.0
          ... Package zigcc:
          ...   No version selected!
          ...   Available versions:
          ...     3.0.0
          ... Package glob:
          ...   No version selected!
          ...   Available versions:
          ...     0.11.3
          ... Package nim:
          ...   No version selected!
          ...   Available versions:
          ...     2.0.4
          ... Package nimja:
          ...   No version selected!
          ...   Available versions:
          ...     0.9.1
          ... Package libcurl:
          ...   No version selected!
          ...   Available versions:
          ...     1.0.0
          ... Package puppy:
          ...   No version selected!
          ...   Available versions:
          ...     2.0.3
          ... Package webby:
          ...   No version selected!
          ...   Available versions:
          ...     0.2.1
          ... Final error message:
          ... Dependency resolution failed. Minimal set of conflicting dependencies:
          ...
          ...  + nim >= 1.6.10
          ...  + https://github.com/enthus1ast/formatja any version
          ... 	 -nim >= 1.6.10
          ...  + zigcc any version
          ... 	 -nim >= 1.6.4
          ...  + glob any version
          ... 	 -nim >= 1.0.0
          ...  + https://github.com/enthus1ast/nimLoggingPosix any version
          ... 	 -nim >= 1.6.10
          ...  + sim any version
          ... 	 -nim >= 1.6.0
          ... Final error message:
          ... Dependency resolution failed. Minimal set of conflicting dependencies:
          ...
          ...  + nim >= 1.6.10
          ...  + https://github.com/enthus1ast/formatja any version
          ... 	 -nim >= 1.6.10
          ...  + zigcc any version
          ... 	 -nim >= 1.6.4
          ...  + glob any version
          ... 	 -nim >= 1.0.0
          ...  + https://github.com/enthus1ast/nimLoggingPosix any version
          ... 	 -nim >= 1.6.10
          ...  + sim any version
          ... 	 -nim >= 1.6.0
          ... Final error message:
          ... Dependency resolution failed. Minimal set of conflicting dependencies:
          ...
          ...  + nim >= 1.6.10
          ...  + https://github.com/enthus1ast/formatja any version
          ... 	 -nim >= 1.6.10
          ...  + zigcc any version
          ... 	 -nim >= 1.6.4
          ...  + glob any version
          ... 	 -nim >= 1.0.0
          ...  + https://github.com/enthus1ast/nimLoggingPosix any version
          ... 	 -nim >= 1.6.10
          ...  + sim any version
          ... 	 -nim >= 1.6.0
          ... Final error message:
          ... Dependency resolution failed. Minimal set of conflicting dependencies:
          ...
          ...  + nim >= 1.6.10
          ...  + https://github.com/enthus1ast/formatja any version
          ... 	 -nim >= 1.6.10
          ...  + zigcc any version
          ... 	 -nim >= 1.6.4
          ...  + glob any version
          ... 	 -nim >= 1.0.0
          ...  + https://github.com/enthus1ast/nimLoggingPosix any version
          ... 	 -nim >= 1.6.10
          ...  + sim any version
          ... 	 -nim >= 1.6.0
          ... Final error message:
          ... Dependency resolution failed. Minimal set of conflicting dependencies:
          ...
          ...  + nim >= 1.6.10
          ...  + https://github.com/enthus1ast/formatja any version
          ... 	 -nim >= 1.6.10
          ...  + zigcc any version
          ... 	 -nim >= 1.6.4
          ...  + glob any version
          ... 	 -nim >= 1.0.0
          ...  + https://github.com/enthus1ast/nimLoggingPosix any version
          ... 	 -nim >= 1.6.10
          ...  + sim any version
          ... 	 -nim >= 1.6.0
          ... Final error message:
          ... Dependency resolution failed. Minimal set of conflicting dependencies:
          ...
          ...  + nim >= 1.6.10
          ...  + https://github.com/enthus1ast/formatja any version
          ... 	 -nim >= 1.6.10
          ...  + zigcc any version
          ... 	 -nim >= 1.6.4
          ...  + glob any version
          ... 	 -nim >= 1.0.0
          ...  + https://github.com/enthus1ast/nimLoggingPosix any version
          ... 	 -nim >= 1.6.10
          ...  + sim any version
          ... 	 -nim >= 1.6.0
          ... Final error message:
          ... Dependency resolution failed. Minimal set of conflicting dependencies:
          ...
          ...  + nim >= 1.6.10
          ...  + https://github.com/enthus1ast/formatja any version
          ... 	 -nim >= 1.6.10
          ...  + zigcc any version
          ... 	 -nim >= 1.6.4
          ...  + glob any version
          ... 	 -nim >= 1.0.0
          ...  + https://github.com/enthus1ast/nimLoggingPosix any version
          ... 	 -nim >= 1.6.10
          ...  + sim any version
          ... 	 -nim >= 1.6.0
         Tip: 13 messages have been suppressed, use --verbose to show them.
  nimble.nim(204)          processFreeDependenciesSAT
      
      Error:  Unsatisfiable dependencies
  Run

---

• elcritch (orginal) [2025-11-02T03:45:18+01:00] view original

  I don't know about the Nimble error, but it looks like you misspelled zigcc as ziggcc.

---

• enthus1ast (orginal) [2025-11-02T16:22:52+01:00] view original

  Huh? Where?

---

• janAkali (orginal) [2025-11-02T16:59:13+01:00] view original

  In the github repo: nimGristDownload.nimble

---

• aj3423 (orginal) [2025-11-02T19:47:15+01:00] view original

  I also ran into this today.

  When the runtime version is lower than the required version, nimble will clearly show the reason.

  For example: requires "nim >= 999.0" in .nimble. It will show error:

  Requirement 'nim >= 999.0' required by '...' could not be satisfied

  But if there're any other libraries configured(which usually are), for instance:

  
  requires "nim >= 999.0"
  requires "results"
  Run

  It will just show that super long error without any explicit reason.

  Perhaps that could be improved.

---