BSD-3-Clause licensed by Masahiro Sakai
This version can be pinned in stack with:pseudo-boolean-0.1.12.0@sha256:facdc2b5baba904b79ee990bf4d90ea13b71fda3b4e80a1e0f6ff184ba18a8df,2550
Module documentation for 0.1.12.0
Depends on 12 packages
(full list with versions):
attoparsec,
base,
bytestring,
bytestring-builder,
containers,
deepseq,
dlist,
hashable,
integer-logarithms,
megaparsec,
parsec,
void 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
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
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
