dev-haskell/
minisat

A Haskell bundle of the Minisat SAT solver

https://hackage.haskell.org/package/minisat

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
Warnings For All Versions
RedundantLongDescription metadata.xml longdescription closely matches DESCRIPTION
UnstableOnly for arches: [ amd64, x86 ], all versions are unstable: [ 0.1.2 ]
RedundantLongDescription metadata.xml longdescription closely matches DESCRIPTION
UnstableOnly for arches: [ amd64, x86 ], all versions are unstable: [ 0.1.2 ]
0.1.2 : 0 ~amd64 ~x86 alpha arm arm64 hppa ia64 ppc ppc64 sparc
DeprecatedEapi uses deprecated EAPI 5
MissingSlotDep 'sys-devel/gcc[cxx]' matches more than one slot: [ 10, 11, 4.9.4, 5.5.0, 6.5.0, 7.5.0, 8.3.0, 8.4.0, 9.2.0, 9.3.0 ]
DeprecatedEapi uses deprecated EAPI 5
MissingSlotDep 'sys-devel/gcc[cxx]' matches more than one slot: [ 10, 11, 4.9.4, 5.5.0, 6.5.0, 7.5.0, 8.3.0, 8.4.0, 9.2.0, 9.3.0 ]

Package Metadata

Changelog