packages feed

ersatz-toysat

view on Hackage

versionuploadeduploaderchanges
0.2.2.02017-10-02 03:35 UTCMasahiroSakai3 revisions+8/−8 lines, 3 filesdep ~basedep ~containersdep ~ersatzPVP ok
0.2.1.02015-05-31 12:41 UTCMasahiroSakai1 revisions+24/−17 lines, 6 filesdep ~basedep ~ersatzdep ~toysolverPVP ok
0.2.0.02015-01-07 13:28 UTCMasahiroSakai+810/−0 lines, 14 filesdep +arraydep +basedep +containerssetup-changed

Dependencies of ersatz-toysat-0.2.2.0

array >=0.4 && <0.6 0.5.7.0 → 0.5.8.0
2024-09-08 07:13 UTC0.5.8.0+204/−8 lines, 6 filesdep ~basePVP ok
2024-04-12 14:38 UTC0.5.7.0+34/−17 lines, 9 filesdep ~basePVP: major bump suggested
2023-07-10 15:24 UTC0.5.6.0+159/−39 lines, 8 filesdep ~basenew-uploaderPVP ok
2023-02-13 16:01 UTC0.5.5.0+8/−4 lines, 3 filesdep ~basenew-uploaderPVP ok
2019-09-01 06:48 UTC0.5.4.0+33/−8 lines, 5 filesdep ~basesetup-changedPVP: major bump suggested

showing 5 of 18 versions

base >=4.6 && <4.21 4.20.2.0 → 4.22.0.0 newer than bounds
2025-12-19 11:52 UTC4.22.0.0 newer than bounds+886/−215 lines, 28 filesdep ~ghc-internalPVP ok
2026-03-27 12:26 UTC4.21.2.0 newer than bounds+10/−3 lines, 4 filesdep ~ghc-internalPVP ok
2025-12-27 10:31 UTC4.21.1.0 newer than bounds+17/−5 lines, 4 filesdep ~ghc-internalPVP ok
2024-12-16 09:24 UTC4.21.0.0 newer than bounds+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.4.2.1 && <0.8 0.7 → 0.8 newer than bounds
2025-03-01 13:03 UTC0.8 newer than bounds+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

ersatz >=0.3 && <0.6 0.5 → 0.6 newer than bounds
2025-06-17 12:00 UTC0.6 newer than bounds+999/−182 lines, 20 filesdep +optparse-applicativedep +tastydep +tasty-hunitdep −HUnitdep −test-frameworkdep −test-framework-hunitdep ~arraydep ~basedep ~bytestringnew-component:exe:ersatz-circuit-synthesisnew-component:exe:ersatz-graph-coloringPVP ok
2023-09-18 10:26 UTC0.5+210/−27 lines, 14 filesdep +HUnitdep +test-frameworkdep +test-framework-hunitdep ~basedep ~containersdep ~data-defaultPVP ok
2022-11-01 13:24 UTC0.4.13+270/−31 lines, 10 filesdep ~bytestringPVP: major bump suggested
2022-08-11 23:35 UTC0.4.12+195/−13 lines, 9 filesPVP ok
2022-05-18 11:16 UTC0.4.11+14/−9 lines, 6 filesdep ~mtldep ~transformersPVP ok

showing 5 of 28 versions

ghc-prim >=0 0.12.0 → 0.13.0
2024-12-16 09:29 UTC0.13.0+95/−12 lines, 6 filesPVP ok
2025-05-03 11:48 UTC0.12.0+5108/−1582 lines, 15 filesnew-uploaderPVP ok
2023-10-10 00:24 UTC0.11.0+770/−234 lines, 9 filesPVP ok
2023-03-28 14:22 UTC0.10.0+487/−297 lines, 16 filesPVP ok
2022-08-07 20:08 UTC0.9.0+2921/−2018 lines, 14 filesPVP ok

showing 5 of 15 versions

lens >=0 5.3.5 → 5.3.6
2026-01-10 22:05 UTC5.3.6+39/−28 lines, 7 filesdep −ghc-primdep −transformers-compatdep ~template-haskellPVP ok
2025-06-17 11:56 UTC5.3.5+99/−99 lines, 5 filesdep +tastydep +tasty-hunitdep +tasty-quickcheckdep −HUnitdep −test-frameworkdep −test-framework-hunitdep ~parallelPVP: major bump suggested
2025-03-03 12:24 UTC5.3.4+156/−44 lines, 14 filesdep ~containersPVP ok
2024-12-28 16:38 UTC5.3.3+198/−36 lines, 11 filesdep ~basedep ~template-haskellPVP ok
2024-05-12 23:00 UTC5.3.2+131/−19 lines, 7 filesdep ~hashablePVP: major bump suggested

showing 5 of 162 versions

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

showing 5 of 20 versions

parsec >=3.1 && <3.2 3.1.17.0 → 3.1.18.0
2025-01-05 00:08 UTC3.1.18.0+159/−170 lines, 7 filesdep −faildep ~basedep ~bytestringdep ~mtlPVP: major bump suggested
2023-10-04 06:08 UTC3.1.17.0+112/−25 lines, 8 filesdep +deepseqdep ~basedep ~bytestringdep ~tastyPVP: major bump suggested
2023-01-08 20:47 UTC3.1.16.1+6/−2 lines, 3 filesPVP ok
2023-01-08 18:03 UTC3.1.16.0+124/−19 lines, 8 filesdep ~basePVP ok
2022-05-10 10:14 UTC3.1.15.1+19/−15 lines, 9 filesdep ~basedep ~mtldep ~textPVP ok

showing 5 of 27 versions

toysolver >=0.2.0 && <0.10.0 0.8.1 → 0.9.0
2025-02-18 10:33 UTC0.9.0+3747/−2368 lines, 86 filesdep +aesondep +prettyprinterdep −OpenCLdep ~MIPdep ~basedep ~bytestring
2022-09-17 09:29 UTC0.8.1+19/−8 lines, 8 filesdep ~base
2022-07-26 23:40 UTC0.8.0+121586/−594 lines, 77 filesdep ~basedep ~bytestring-encodingdep ~containers
2021-02-10 03:50 UTC0.7.0+9163/−11023 lines, 251 filesdep +MIPdep ~QuickCheckdep ~arraydep ~basenew-component:flib:toysat-ipasir
2019-10-04 16:21 UTC0.6.0+9402/−4639 lines, 146 filesdep +ansi-wl-pprintdep +bytestring-encodingdep +case-insensitivedep −prettyclassdep ~basedep ~bytestringdep ~clocknew-component:exe:probsat

showing 5 of 16 versions

transformers >=0.3 && <0.7 0.6.2.0 → 0.6.3.0
2026-01-12 12:42 UTC0.6.3.0+28/−1 lines, 4 files
2025-04-06 22:39 UTC0.6.2.0+41/−42 lines, 8 filesdep ~ghc-prim
2024-09-25 11:37 UTC0.6.1.2+70/−21 lines, 19 files
2023-08-01 19:13 UTC0.6.1.1+281/−42 lines, 11 files
2023-02-04 08:15 UTC0.6.1.0+64/−4 lines, 8 files

showing 5 of 42 versions

Reverse dependencies

1 packages depend on ersatz-toysat

acme-everything 2018.11.18 requires ersatz-toysat >=0