packages feed

minisat

view on Hackage

versionuploadeduploaderchanges
0.1.42025-07-12 18:11 UTCJeroenBransen+5493/−5474 lines, 28 filesdep +system-cxx-std-lib
0.1.32021-02-23 19:34 UTCJeroenBransen1 revisions+5474/−5475 lines, 29 filessetup-changed
0.1.22015-07-03 10:15 UTCJeroenBransen1 revisions+72/−42 lines, 4 filesdep −zlib
0.1.12015-01-21 13:05 UTCJeroenBransen1 revisions+2/−2 lines, 1 files
0.12014-06-20 08:43 UTCJeroenBransen1 revisions+5445/−0 lines, 28 filesdep +asyncdep +basedep +zlibsetup-changed

Dependencies of minisat-0.1.4

async >=2.0.0.0 2.2.5 → 2.2.6
2026-01-07 11:26 UTC2.2.6+503/−61 lines, 7 filesdep +unordered-containersPVP: major bump suggested
2023-11-21 08:08 UTC2.2.5+1025/−797 lines, 5 filesdep ~basedep ~hashablePVP: major bump suggested
2021-10-04 12:00 UTC2.2.4+26/−8 lines, 3 filesdep ~basedep ~hashablePVP ok
2021-02-16 10:05 UTC2.2.3+160/−78 lines, 3 filesdep ~basePVP ok
2019-06-06 08:27 UTC2.2.2+48/−15 lines, 4 filesdep ~basedep ~hashablePVP: major bump suggested

showing 5 of 23 versions

base >=3 && <5 4.21.2.0 → 4.22.0.0
2025-12-19 11:52 UTC4.22.0.0+886/−215 lines, 28 filesdep ~ghc-internalPVP ok
2026-03-27 12:26 UTC4.21.2.0+10/−3 lines, 4 filesdep ~ghc-internalPVP ok
2025-12-27 10:31 UTC4.21.1.0+17/−5 lines, 4 filesdep ~ghc-internalPVP ok
2024-12-16 09:24 UTC4.21.0.0+1170/−396 lines, 39 filesdep ~ghc-internalPVP ok
2025-09-12 14:13 UTC4.20.2.0+13/−2 lines, 2 filesdep ~ghc-internalPVP ok

showing 5 of 60 versions

system-cxx-std-lib ==1.0 not tracked

Reverse dependencies

8 packages depend on minisat

abc-puzzle 0.2.1 requires minisat >=0.1
co-feldspar 0.1.0.1 requires minisat >=0
jukebox 0.5.12 requires minisat >=0
puresat 0.1.0.1 requires minisat >=0
sat-simple 0.1.0.0 requires minisat >=0.1.3 && <0.2
satchmo 2.9.9.5 requires minisat >=0.1
satplus 0.1.0.0 requires minisat >=0.1
uuagc 0.9.57 requires minisat >=0