msakai / toysolver

71%

master: 70%

LAST BUILD ON BRANCH feature/pb-encoder-polarity

branch: feature/pb-encoder-polarity

CHANGE BRANCH

x

Reset

• feature/pb-encoder-polarity
• master
• maxsat2015
• smt-dump-model-spike
• feature/polynomial-from-x
• feature/smtcomp
• feature/LA-Expr-Num-instance
• feature/parameterized-mip
• feature/turtle
• feature/mip-avoid-writer
• feature/conduit
• feature/sat-shared-config-parser
• feature/qbf-ddr-wip
• v0.6.x
• feature/unify-graph
• feature/move-maxcut-to-toysolver-graph
• update-stack-lts-202012
• HEAD
• stack-remove-multiset
• appveyor-use-x86_64-stack-for-i386-build
• feature/shortest-path-int
• feature/toysat-ipasir
• feature/ipasir-like-callbacks
• feature/github-actions-macos
• feature/cabal-version-2.4
• github-actions-no-fail-fast
• github-actions-test-timeout
• github-actions-more
• github-actions-test-j1
• update-stack-lts-202102
• feature/sat-failed-assumptions-int-set
• toysat-ipasir-misc-fixes
• debug-genipaessentials-master-valgrind
• feature/extra-bounds-checking
• issue-44
• v0.7.x
• fix-ld-ghc-8.10.2-x86_64-windows
• drop-ghc-8.0-8.2-8.4
• IntMap-restrictKeys-withoutKeys
• feature/docker-image
• mwc-random-0.15
• test-ghc-actions-release
• bytestring-0.11
• remove-deprecated-api
• drop-megaparsec-5
• ghc-8.10.4
• github-actions-release
• bytestring-encoding-0.1.1.0
• update-stack-lts-202105
• feature/new-wcnf
• fix-sat-printer
• feature/maxsat-new-v-line
• data-interval-2.1.0
• separate-install-doc
• feature/eval-wcnf
• update-stack-lts-202110
• update-lower-bounds-202110
• feature/pb-parser-megaparsec
• remove-travis-ci
• feature/pb-set-obj
• feature/hash-consing-tseitin-formula
• feature/sat-formula
• test-quickcheck-combinators
• ghc-9.2
• feature/pb-hybrid-encoding
• feature/pb2sat-with-strategy
• update-stack-lts-202207
• update-stack-lts-202207-2
• feature/docker-arm64
• github-actions-cleanup
• remove-appveyor
• no-StarIsType
• feature/pb-bccnf
• feature/docker-images
• feature/remove-opencl
• v0.8.x
• criterion-1.6
• ghc-9.4
• update-actions-202405

ToySolver.SAT.Encoder.PB: make adder encoder to be polarity-aware