msakai / toysolver

71%

master: 71%

LAST BUILD ON BRANCH feature/pb-hybrid-encoding

branch: feature/pb-hybrid-encoding

CHANGE BRANCH

x

Reset

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

ToySolver.SAT.Encoder.Tseitin: cache encodeFormulaWithPolarity to utilize hash-consing