haskellPackages.toysolver 0.9.0 unmaintained outdated
Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
- Name
toysolver-0.9.0- Package set
- haskellPackages
- Homepage
- https://hackage.haskell.org/package/toysolver
- License
- BSD-3-Clause
- Source
- pkgs/development/haskell-modules/hackage-packages.nix:711931
- Derivation
/nix/store/s3fjpyz2dbzh6xgf42qnmhbbg0xif4wz-toysolver-0.9.0.drv- Repology
- outdated, newest version is 0.10.0 · haskell:toysolver (as of 2026-10-08T00:43:59Z)
Maintainers 0
This package has no maintainers.
Dependencies 50
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| haskellPackages.MIP 0.2.0.1 | propagatedBuildInputs | 5 | unmaintained | |
| haskellPackages.OptDir 0.1.0 | propagatedBuildInputs | 6 | unmaintained | |
| haskellPackages.aeson 2.2.4.1 | propagatedBuildInputs | 14,960 | unmaintained outdated | |
| haskellPackages.ansi-wl-pprint 1.0.2 | propagatedBuildInputs | 19,366 | unmaintained outdated | |
| haskellPackages.bytestring-builder 0.10.8.2.0 | propagatedBuildInputs | 279 | unmaintained | |
| haskellPackages.bytestring-encoding 0.1.2.0 | propagatedBuildInputs | 6 | unmaintained | |
| haskellPackages.case-insensitive 1.2.1.0 | propagatedBuildInputs | 16,822 | unmaintained | |
| haskellPackages.clock 0.8.4 | propagatedBuildInputs | 10,008 | unmaintained | |
| haskellPackages.data-default 0.8.0.2 | propagatedBuildInputs | 13,795 | unmaintained | |
| haskellPackages.data-default-class 0.2.0.0 | propagatedBuildInputs | 12,734 | unmaintained | |
| haskellPackages.data-interval 2.1.2 | propagatedBuildInputs | 19 | unmaintained | |
| haskellPackages.extended-reals 0.2.7.0 | propagatedBuildInputs | 23 | unmaintained | |
| haskellPackages.finite-field 0.10.0 | propagatedBuildInputs | 7 | unmaintained broken | |
| haskellPackages.hashable 1.5.1.0 | propagatedBuildInputs | 19,321 | unmaintained | |
| haskellPackages.hashtables 1.4.2 | propagatedBuildInputs | 682 | unmaintained | |
| haskellPackages.heaps 0.4.1 | propagatedBuildInputs | 159 | unmaintained | |
| haskellPackages.intern 0.9.6 | propagatedBuildInputs | 58 | unmaintained | |
| haskellPackages.lattices 2.2.1.1 | propagatedBuildInputs | 50 | unmaintained | |
| haskellPackages.log-domain 0.13.2 | propagatedBuildInputs | 62 | unmaintained | |
| haskellPackages.loop 0.3.0 | propagatedBuildInputs | 78 | unmaintained | |
| haskellPackages.megaparsec 9.7.0 | propagatedBuildInputs | 1,373 | unmaintained outdated | |
| haskellPackages.multiset 0.3.4.3 | propagatedBuildInputs | 32 | unmaintained | |
| haskellPackages.mwc-random 0.15.3.0 | propagatedBuildInputs | 1,484 | unmaintained | |
| haskellPackages.optparse-applicative 0.18.1.0 | propagatedBuildInputs | 21,837 | unmaintained | |
| haskellPackages.primes 0.2.1.0 | propagatedBuildInputs | 132 | unmaintained | |
| haskellPackages.primitive 0.9.1.0 | propagatedBuildInputs | 20,288 | unmaintained | |
| haskellPackages.pseudo-boolean 0.1.12.0 | propagatedBuildInputs | 4 | unmaintained | |
| haskellPackages.queue 0.1.2 | propagatedBuildInputs | 7 | unmaintained | |
| haskellPackages.scientific 0.3.8.1 | propagatedBuildInputs | 17,269 | unmaintained outdated | |
| haskellPackages.semigroups 0.20.1 | propagatedBuildInputs | 1,846 | unmaintained | |
| haskellPackages.sign 0.4.4 | propagatedBuildInputs | 4 | unmaintained | |
| haskellPackages.temporary 1.3 | propagatedBuildInputs | 21,677 | unmaintained | |
| haskellPackages.transformers-compat 0.7.2 | propagatedBuildInputs | 22,018 | unmaintained | |
| haskellPackages.unbounded-delays 0.1.1.1 | propagatedBuildInputs | 724 | unmaintained | |
| haskellPackages.unordered-containers 0.2.20.1 | propagatedBuildInputs | 18,732 | unmaintained | |
| haskellPackages.vector 0.13.2.0 | propagatedBuildInputs | 19,736 | unmaintained | |
| haskellPackages.vector-space 0.19 | propagatedBuildInputs | 181 | unmaintained | |
| haskellPackages.xml-conduit 1.10.1.0 | propagatedBuildInputs | 9,039 | unmaintained | |
| haskellPackages.zlib 0.7.1.1 | propagatedBuildInputs | 12,459 | unmaintained | |
| haskellPackages.QuickCheck 2.15.0.1 | buildInputs | 23,482 | unmaintained | |
| haskellPackages.tasty 1.5.4 | buildInputs | 21,757 | single | |
| haskellPackages.tasty-hunit 0.10.2 | buildInputs | 21,544 | unmaintained | |
| haskellPackages.tasty-quickcheck 0.11.1 | buildInputs | 20,773 | unmaintained | |
| haskellPackages.tasty-th 0.1.7 | buildInputs | 340 | unmaintained | |
| ghc 9.10.3 | nativeBuildInputs | 27,259 | maintained | |
| removeReferencesTo | nativeBuildInputs | 51,801 | unmaintained | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| coreutils 9.11 | other input | 102,165 | maintained outdated | |
| glibcLocales 2.44 | other input | 55,219 | unmaintained | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 3 directly, 3 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| haskellPackages.ersatz-toysat 0.2.2.0 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.qhull 0.1.0.4 | propagatedBuildInputs | 0 | unmaintained | |
| haskellPackages.satchmo-toysat 0.2.1.0 | propagatedBuildInputs | 0 | unmaintained |