pseudo-boolean

Reading/Writing OPB/WBO files used in pseudo boolean competition

https://github.com/msakai/pseudo-boolean

LTS Haskell 24.28:0.1.12.0@rev:1
Stackage Nightly 2026-01-18:0.1.12.0@rev:1
Latest on Hackage:0.1.12.0@rev:1

See all snapshots pseudo-boolean appears in

BSD-3-Clause licensed by Masahiro Sakai
Maintained by [email protected]
This version can be pinned in stack with:pseudo-boolean-0.1.12.0@sha256:cd74dc7150815e24a149288ca5e35b3f44f31f4d5e0ff2eedb3a20d8ddf458c6,2658

Module documentation for 0.1.12.0

  • Data
    • Data.PseudoBoolean
      • Data.PseudoBoolean.Attoparsec
      • Data.PseudoBoolean.Builder
      • Data.PseudoBoolean.ByteStringBuilder
      • Data.PseudoBoolean.Internal
        • Data.PseudoBoolean.Internal.TextUtil
      • Data.PseudoBoolean.Megaparsec
      • Data.PseudoBoolean.Parsec

pseudo-boolean

Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.

Build Status Coverage Status Hackage Hackage Deps License

Changes

0.1.12.0

  • fix to to use correct hint name: mincost=, maxcost=, and sumcost= do not need #-prefix
  • generate #equal= hint and intsize= hint specified for PB24 competition

0.1.11.0

  • some minor clean-up

0.1.10.0

0.1.9.0

  • fix compilation error with megaparsec <4.4 due to the lack of MonadPlus requirement

0.1.8.0

  • make types to be instances of Read class

0.1.7.0

  • introduce ParserError type
  • support megaparsec 7.*

0.1.6.0

  • include #mincost=, #maxcost=, #sumcost= in the hint line of WBO files

0.1.5.0

  • support megaparsec-5.*

0.1.4.0

  • add Megaparsec-based parsers

0.1.3.0

  • relax the grammer of OPB/WBO files to allow ommitng spaces at the end of weighted terms.

0.1.2.0

  • relax the grammer of OPB/WBO files to allow various use of space characters.

0.1.1.0

  • parse* functions fails if the parser does not consume all of the inputs
  • generate ‘#product=’, ‘sizeproduct=’ and ‘#soft=’ in header line of OPB/WBO files
  • sort literals in a non-linear term when generating OPB/WBO files