packages feed

incremental-sat-solver

view on Hackage

versionuploadeduploaderchanges
0.1.82016-08-31 08:21 UTCSebastianFischer+3/−3 lines, 2 filesdep ~base
0.1.72009-01-31 21:48 UTCSebastianFischer+22/−4 lines, 3 files
0.1.62009-01-31 13:15 UTCSebastianFischer+22/−3 lines, 2 files
0.1.52009-01-30 17:38 UTCSebastianFischer+11/−2 lines, 2 files
0.1.42009-01-30 15:31 UTCSebastianFischer+4/−2 lines, 2 files
0.1.32009-01-30 10:21 UTCSebastianFischer+2/−1 lines, 2 files
0.1.22009-01-29 14:46 UTCSebastianFischer+15/−7 lines, 2 files
0.1.12009-01-28 22:34 UTCSebastianFischer+22/−20 lines, 3 files
0.12009-01-28 20:16 UTCSebastianFischer+355/−0 lines, 6 filesdep +basedep +containersdep +mtlsetup-changed

Dependencies of incremental-sat-solver-0.1.8

base <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

containers >=0 0.7 → 0.8
2025-03-01 13:03 UTC0.8+8447/−7031 lines, 37 filesnew-uploaderPVP ok
2023-09-27 12:15 UTC0.7+76/−33 lines, 3 filesPVP ok
2023-09-28 04:21 UTC0.6.8+644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested
2023-02-01 03:11 UTC0.6.7+783/−229 lines, 20 filesPVP: major bump suggested
2022-07-22 06:30 UTC0.6.6+736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok

showing 5 of 42 versions

mtl >=0 2.3.1 → 2.3.2
2025-12-08 04:58 UTC2.3.2+112/−21 lines, 12 filesdep ~basenew-uploader
2022-10-31 21:28 UTC2.3.1+188/−33 lines, 8 filesdep ~base
2022-05-07 20:34 UTC2.3+1284/−520 lines, 29 filesdep ~basedep ~transformersnew-uploader
2018-02-24 22:15 UTC2.2.2+152/−36 lines, 14 filesdep ~base
2014-06-02 02:22 UTC2.2.1+179/−4 lines, 8 filesdep ~basedep ~transformers

showing 5 of 20 versions

Reverse dependencies

2 packages depend on incremental-sat-solver

alms 0.6.9 requires incremental-sat-solver >=0.1.7
cflp 2009.2.1 requires incremental-sat-solver >=0