2aed03ff30a449cdd65006918cbed3f1 *DESCRIPTION
7ef22d38baf841ef7fce47d24be17303 *LICENCE.note
bd4f27bc88474b75e2da1f9761bf19b8 *NAMESPACE
6932750c6d7dec0fa556c147d8a743f3 *NEWS.md
05391e0572a7bbf7ff1ecb1a2bc50f22 *R/run_open_wbo.R
1b653d9b85b450e6a9a17ebacf7a87a7 *man/run_open_wbo.Rd
a9fb6b1ff9457fd10f12e71d216c86eb *src/Makevars
a9fb6b1ff9457fd10f12e71d216c86eb *src/Makevars.win
f6870e5ddf30c830ef4f8f2e99d91c84 *src/install.libs.R
87f4da59055f1fa9c2a5e9826593eb94 *src/open_wbo/Encoder.cc
7c6c499bfa669892ebadd47e9336610d *src/open_wbo/Encoder.h
3ed55d12d1a4147f9b9c78898d173ec5 *src/open_wbo/FormulaPB.h
8da060bb807164ed74414acbad08a657 *src/open_wbo/INSTALL
5682178512b8b5f5a9447dd42071a4f5 *src/open_wbo/LICENSE
cd00d9b41f08600e01d3fd7fb9b7bd73 *src/open_wbo/Main.cc
e9375cee14290c65e35a01569ba2b768 *src/open_wbo/Makefile.in
1e36acaf4828d7150dded3e4b384004a *src/open_wbo/MaxSAT.cc
c5803f869345a50d8180c77fc99e9c2b *src/open_wbo/MaxSAT.h
27c21ec5079dd71658b6cae536d5c8cc *src/open_wbo/MaxSATFormula.cc
870d37639ccc9125b2386be42a5e5211 *src/open_wbo/MaxSATFormula.h
0aaf9f5894eee7d9bd3c3052b94d3b30 *src/open_wbo/MaxSAT_Partition.cc
505acedacc9021e891ecc3ee79daf4f5 *src/open_wbo/MaxSAT_Partition.h
ed657808ac27cddb1ca5d7b7df063a3a *src/open_wbo/MaxTypes.h
03bc8ebd1641a557fbb35f02db56551e *src/open_wbo/ParserMaxSAT.h
04f9a19a37e6e416c05b81d0cec2289e *src/open_wbo/ParserPB.cc
5f9c4e774b95c9f7d7aa87d17ff58c69 *src/open_wbo/ParserPB.h
8e270dda1f116a6ba9f0b05de2ca010b *src/open_wbo/README.md
b349194782d7ea364a5a5816f04c2cb5 *src/open_wbo/algorithms/Alg_LinearSU.cc
ed87eda77a6ed6622ee051646e6bb1de *src/open_wbo/algorithms/Alg_LinearSU.h
9ae0fcf5490f3f797b089cc0679804fb *src/open_wbo/algorithms/Alg_MSU3.cc
391c71dc3992ab6233e5038dc3472cd9 *src/open_wbo/algorithms/Alg_MSU3.h
cbba45b2bea99fb123f244897d5a007b *src/open_wbo/algorithms/Alg_OLL.cc
bafa3aca00db6c76c17b5696d88d9ab2 *src/open_wbo/algorithms/Alg_OLL.h
8bb6f25b5f3919e2dc8d7770f8ea9902 *src/open_wbo/algorithms/Alg_PartMSU3.cc
4ad55822b4e67cc68047e926d20da4b8 *src/open_wbo/algorithms/Alg_PartMSU3.h
c5c13ae33809755399156544bb9b4590 *src/open_wbo/algorithms/Alg_WBO.cc
9ddfc3ce48198a146d95a89530083591 *src/open_wbo/algorithms/Alg_WBO.h
7ef3b8dee97caa4a91c5a7c30cff7aa5 *src/open_wbo/configure
bd7f73d4bb6af39213da4f5894e1a6d8 *src/open_wbo/encodings/Enc_Adder.cc
71c2880ada9fd403a9bf439770f31c78 *src/open_wbo/encodings/Enc_Adder.h
f11fbd1a56e972b5f77892d0d9de8e39 *src/open_wbo/encodings/Enc_CNetworks.cc
444bab1834e60476d92a210401748940 *src/open_wbo/encodings/Enc_CNetworks.h
b3aff7390ebdb2a02bf02c3b74dabe99 *src/open_wbo/encodings/Enc_GTE.cc
dbf7fa66c764d2cc276c36d511c13b51 *src/open_wbo/encodings/Enc_GTE.h
8ec2659d22feedb28b7663139d349bf6 *src/open_wbo/encodings/Enc_Ladder.cc
6419bb3b4382294316ce310fc3d2abe7 *src/open_wbo/encodings/Enc_Ladder.h
3336556ffcf39199c3d9da7ffacff01c *src/open_wbo/encodings/Enc_MTotalizer.cc
e85a728fe01b349029c49631a870dab1 *src/open_wbo/encodings/Enc_MTotalizer.h
263bd46a18f02bb182261e35b502ca36 *src/open_wbo/encodings/Enc_SWC.cc
5c764e92d10f6ce130f0796f905eacca *src/open_wbo/encodings/Enc_SWC.h
9e335e30db47abc5b1956f41e2417660 *src/open_wbo/encodings/Enc_Totalizer.cc
ee91f6af8fcfe20722e6d51a281cbd7c *src/open_wbo/encodings/Enc_Totalizer.h
74db1cfb14916d39d521db8b89334991 *src/open_wbo/encodings/Encodings.cc
1fb7366e8a59ff71477525afbf68f6c8 *src/open_wbo/encodings/Encodings.h
d99d8f9a0e3936f9d6c7f879efeabb9e *src/open_wbo/graph/Graph.cc
b98650df3dcf74914cc1483edc30d8d4 *src/open_wbo/graph/Graph.h
8a9073081a70c94d096ca64d39040fc1 *src/open_wbo/graph/Graph_Algorithms.cc
e75fc0c911f298741be709373410a952 *src/open_wbo/graph/Graph_Communities.cc
2b59d39c00b1d391b11b5591eb305687 *src/open_wbo/graph/Graph_Communities.h
78a57a87906d095f50cdbee985ce264c *src/open_wbo/graph/NodeHeap.h
48bfd918e6ca9222c2c1009798adf4b7 *src/open_wbo/graph/TreeNode.h
b20cdf582d4a3d176769d3010988f451 *src/open_wbo/mtl/template.mk
5fcc3001223762790cc6c0c7114d0c8b *src/open_wbo/solvers/glucose4.1.mk
56e95f438d53fda050979a5586347273 *src/open_wbo/solvers/glucose4.1/Changelog
357940b5204307e39e1b39ce5f2aaf6a *src/open_wbo/solvers/glucose4.1/LICENCE
4c2807cea6ba67bfa0e3d46a8e36a423 *src/open_wbo/solvers/glucose4.1/README
e7a37785ae034acd37738f18de7155f8 *src/open_wbo/solvers/glucose4.1/core/BoundedQueue.h
f0d28b3561e11b05703208135099bc24 *src/open_wbo/solvers/glucose4.1/core/Constants.h
74d8e434ce145fb8fa9b04862ecea6c2 *src/open_wbo/solvers/glucose4.1/core/Dimacs.h
b56f1b9dfe4bdec017413ecd6c987442 *src/open_wbo/solvers/glucose4.1/core/Makefile
5f6018518e20fd3754d7d24d4111879e *src/open_wbo/solvers/glucose4.1/core/Solver.cc
5d24e12fe7f34e44aaa38ab0361f54ee *src/open_wbo/solvers/glucose4.1/core/Solver.h
85b8c855456144865376e24f6c18c3bc *src/open_wbo/solvers/glucose4.1/core/SolverStats.h
76e0006433f904db88f3b23af2e8d63b *src/open_wbo/solvers/glucose4.1/core/SolverTypes.h
ad52c8d04213d53efafd22eea3bf0842 *src/open_wbo/solvers/glucose4.1/mtl/Alg.h
573fcf4bd698b298255cae263771fad6 *src/open_wbo/solvers/glucose4.1/mtl/Alloc.h
517b7c4b4bd4d30f330e729463943273 *src/open_wbo/solvers/glucose4.1/mtl/Clone.h
c88a866e1977ae18e66506402099154e *src/open_wbo/solvers/glucose4.1/mtl/Heap.h
de512d5e69bc64d9dc331dfaa8b9687c *src/open_wbo/solvers/glucose4.1/mtl/IntTypes.h
f72793557fb187b6359bf43153030267 *src/open_wbo/solvers/glucose4.1/mtl/Map.h
3ce094e9cae4087c99792216cbd7c7a7 *src/open_wbo/solvers/glucose4.1/mtl/Queue.h
63e73ac97e25376a246444025049f562 *src/open_wbo/solvers/glucose4.1/mtl/Sort.h
81534a952b2928c40a452636c840c81c *src/open_wbo/solvers/glucose4.1/mtl/Vec.h
93a9cb6e6b45b6ab4ffc824bf28501e3 *src/open_wbo/solvers/glucose4.1/mtl/VecThreads.h
1b45f80792f72e8b89ce502d12ea60e4 *src/open_wbo/solvers/glucose4.1/mtl/XAlloc.h
9f1566e5c4f7b083360f73f9e4c38948 *src/open_wbo/solvers/glucose4.1/mtl/config.mk
5e9f09573cb5e5e466e80ba0b26700bc *src/open_wbo/solvers/glucose4.1/mtl/template.mk
e50381d4e0a318004b5955b78a92fea7 *src/open_wbo/solvers/glucose4.1/parallel/ClausesBuffer.cc
7e90911ff149a7a05be3e55577d1a6d8 *src/open_wbo/solvers/glucose4.1/parallel/ClausesBuffer.h
28d99dbed1a47b4e837cf143be289c37 *src/open_wbo/solvers/glucose4.1/parallel/Main.cc
aef37df32eef2831a015d9f7a122786f *src/open_wbo/solvers/glucose4.1/parallel/Makefile
800f25232ac31283ca866a3de2183d54 *src/open_wbo/solvers/glucose4.1/parallel/MultiSolvers.cc
f0eba7cb337349656e15fbec7fa5349e *src/open_wbo/solvers/glucose4.1/parallel/MultiSolvers.h
b3251cf3ea40aff184f41d4827c7abe5 *src/open_wbo/solvers/glucose4.1/parallel/ParallelSolver.cc
2f5c4aaaf6fcfa1c68f8f0c5dbd6d503 *src/open_wbo/solvers/glucose4.1/parallel/ParallelSolver.h
f955144e4ddbf62a136e9b43ef674e40 *src/open_wbo/solvers/glucose4.1/parallel/SharedCompanion.cc
41814bae6b1079ba742851850e66e098 *src/open_wbo/solvers/glucose4.1/parallel/SharedCompanion.h
be56fb7ced91904e07f1699b27680c85 *src/open_wbo/solvers/glucose4.1/parallel/SolverCompanion.cc
4900906ce74b02f5afe56c74b0bf0050 *src/open_wbo/solvers/glucose4.1/parallel/SolverCompanion.h
f585dbb639e6f9b9f1f98040b277c050 *src/open_wbo/solvers/glucose4.1/parallel/SolverConfiguration.cc
fd01a1d17aac3bd4cccc89afdb107583 *src/open_wbo/solvers/glucose4.1/parallel/SolverConfiguration.h
25c61cc0700dbbecfce612af341c38c3 *src/open_wbo/solvers/glucose4.1/simp/Main.cc
0cc358950288000b39eab9af832d09ad *src/open_wbo/solvers/glucose4.1/simp/Makefile
64371d490d5818b6af75ab007ee47604 *src/open_wbo/solvers/glucose4.1/simp/SimpSolver.cc
9cab9d1279519a89f7ea24a5bdbb4671 *src/open_wbo/solvers/glucose4.1/simp/SimpSolver.h
9e4cafca14e779fec34980b7d79144b7 *src/open_wbo/solvers/glucose4.1/utils/Makefile
87e932125f37f2fe575bd08b8f0abecd *src/open_wbo/solvers/glucose4.1/utils/Options.cc
d30c99c27d9d3f27ae1ffba8b0d987ef *src/open_wbo/solvers/glucose4.1/utils/Options.h
06b55f83cedbf2551c4bbee602a76de7 *src/open_wbo/solvers/glucose4.1/utils/ParseUtils.h
e8c60eea0fc3ba3cec8fb299989694a6 *src/open_wbo/solvers/glucose4.1/utils/System.cc
f460b00be6e4d325775a5fa6a4df20d1 *src/open_wbo/solvers/glucose4.1/utils/System.h
99aad47a09bc9139266ce7a2a3ab899e *tests/testthat.R
05c31b064faae6046a2a8bc2c51f5e75 *tests/testthat/_snaps/run_open_wbo/all-soft-output
6562c1be4b294d3fb48e20c6fed45255 *tests/testthat/_snaps/run_open_wbo/tiny-unweighted-output
5f28e38a39a241e01b784f439a013948 *tests/testthat/_snaps/run_open_wbo/unsat-hard-output
12269dd8817cebcec44d5109290ec128 *tests/testthat/_snaps/run_open_wbo/weighted-sat-output
6e0543ab0f55dcc09cb6124b5bb434b9 *tests/testthat/test-run_open_wbo.R
