| Name | Uncompressed size | Compressed size | Compr. ratio | Date |
|---|---|---|---|---|
| META-INF/MANIFEST.MF | 15.31 KB | 5.06 KB | 33% | 2014-5-25 0:16:46 |
| META-INF/ECLIPSE_.SF | 14.40 KB | 4.71 KB | 32% | 2014-5-25 0:16:48 |
| META-INF/ECLIPSE_.RSA | 7.63 KB | 4.46 KB | 58% | 2014-5-25 0:16:48 |
| META-INF/eclipse.inf | 76 bytes | 65 bytes | 85% | 2014-5-25 0:16:44 |
| about.html | 5.24 KB | 2.13 KB | 40% | 2014-5-25 3:09:46 |
| org/sat4j/pb/ConstraintRelaxingPseudoOptDecorator.class | 4.67 KB | 2.13 KB | 45% | 2014-5-25 3:09:46 |
| org/sat4j/pb/IPBSolver.class | 1.06 KB | 364 bytes | 33% | 2014-5-25 3:09:46 |
| org/sat4j/pb/IPBSolverService.class | 591 bytes | 267 bytes | 45% | 2014-5-25 3:09:46 |
| org/sat4j/pb/LPStringSolver$1.class | 961 bytes | 488 bytes | 50% | 2014-5-25 3:09:46 |
| org/sat4j/pb/LPStringSolver.class | 9.92 KB | 3.94 KB | 39% | 2014-5-25 3:09:46 |
| org/sat4j/pb/LanceurPseudo2005.class | 4.72 KB | 2.28 KB | 48% | 2014-5-25 3:09:46 |
| org/sat4j/pb/LanceurPseudo2007.class | 1.50 KB | 763 bytes | 49% | 2014-5-25 3:09:46 |
| org/sat4j/pb/LanceurPseudo2007Eclipse.class | 2.83 KB | 1.42 KB | 50% | 2014-5-25 3:09:46 |
| org/sat4j/pb/OPBStringSolver$1.class | 965 bytes | 491 bytes | 50% | 2014-5-25 3:09:46 |
| org/sat4j/pb/OPBStringSolver.class | 8.17 KB | 3.16 KB | 38% | 2014-5-25 3:09:46 |
| org/sat4j/pb/ObjectiveFunction.class | 4.14 KB | 1.89 KB | 45% | 2014-5-25 3:09:46 |
| org/sat4j/pb/OptToPBSATAdapter.class | 4.22 KB | 1.93 KB | 45% | 2014-5-25 3:09:46 |
| org/sat4j/pb/PBSolverDecorator.class | 2.77 KB | 932 bytes | 32% | 2014-5-25 3:09:46 |
| org/sat4j/pb/PseudoBitsAdderDecorator.class | 6.99 KB | 3.04 KB | 43% | 2014-5-25 3:09:46 |
| org/sat4j/pb/PseudoIteratorDecorator.class | 1022 bytes | 593 bytes | 58% | 2014-5-25 3:09:46 |
| org/sat4j/pb/PseudoOptDecorator.class | 7.03 KB | 3.25 KB | 46% | 2014-5-25 3:09:46 |
| org/sat4j/pb/SolverFactory.class | 15.73 KB | 4.80 KB | 30% | 2014-5-25 3:09:46 |
| org/sat4j/pb/UserFriendlyPBStringSolver$1.class | 1009 bytes | 498 bytes | 49% | 2014-5-25 3:09:46 |
| org/sat4j/pb/UserFriendlyPBStringSolver.class | 9.05 KB | 3.34 KB | 36% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.class | 7.37 KB | 2.77 KB | 37% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/AbstractPBDataStructureFactory$1.class | 2.58 KB | 1.19 KB | 46% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/AbstractPBDataStructureFactory$2.class | 2.11 KB | 879 bytes | 40% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/AbstractPBDataStructureFactory$INormalizer.class | 696 bytes | 313 bytes | 44% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/AbstractPBDataStructureFactory.class | 6.55 KB | 2.14 KB | 32% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/AtLeastCardConstructor.class | 1.55 KB | 708 bytes | 44% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/AtLeastCardPBConstructor.class | 1.91 KB | 794 bytes | 40% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.class | 888 bytes | 404 bytes | 45% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure.class | 919 bytes | 416 bytes | 45% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/CompetResolutionPBLongMixedHTClauseCardConstrDataStructure.class | 910 bytes | 418 bytes | 45% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/CompetResolutionPBLongMixedWLClauseCardConstrDataStructure.class | 910 bytes | 417 bytes | 45% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.class | 894 bytes | 404 bytes | 45% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/CompetResolutionPBMixedWLClauseCardConstrDataStructure.class | 894 bytes | 404 bytes | 45% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/ICardConstructor.class | 504 bytes | 266 bytes | 52% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/IClauseConstructor.class | 423 bytes | 216 bytes | 51% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/IPBConstructor.class | 539 bytes | 277 bytes | 51% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/MaxLongWatchPBCPConstructor.class | 2.20 KB | 780 bytes | 34% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/MaxLongWatchPBConstructor.class | 2.19 KB | 774 bytes | 34% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/MaxWatchPBConstructor.class | 1.61 KB | 631 bytes | 38% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/MinCardConstructor.class | 1.88 KB | 802 bytes | 41% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/MinCardPBConstructor.class | 1.89 KB | 821 bytes | 42% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/MinLongWatchPBCPConstructor.class | 2.20 KB | 780 bytes | 34% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/MinLongWatchPBConstructor.class | 2.19 KB | 774 bytes | 34% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/MinWatchPBConstructor.class | 1.61 KB | 631 bytes | 38% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/PBContainer.class | 556 bytes | 344 bytes | 61% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/PBLongMaxClauseCardConstrDataStructure.class | 856 bytes | 398 bytes | 46% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/PBLongMinClauseCardConstrDataStructure.class | 856 bytes | 396 bytes | 46% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.class | 851 bytes | 397 bytes | 46% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.class | 838 bytes | 390 bytes | 46% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/PBMaxDataStructure.class | 3.45 KB | 1.20 KB | 34% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.class | 838 bytes | 388 bytes | 46% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/PBMinDataStructure.class | 3.46 KB | 1.21 KB | 35% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/PuebloMinWatchPBConstructor.class | 1.61 KB | 643 bytes | 38% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.class | 879 bytes | 407 bytes | 46% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.class | 1.46 KB | 665 bytes | 44% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/PuebloPBMinDataStructure.class | 3.46 KB | 1.20 KB | 34% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/UnitBinaryHTClauseConstructor.class | 1.86 KB | 695 bytes | 36% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/UnitBinaryHTClausePBConstructor.class | 1.87 KB | 701 bytes | 36% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/UnitBinaryWLClauseConstructor.class | 1.86 KB | 695 bytes | 36% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/package-info.class | 130 bytes | 114 bytes | 87% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/AtLeastPB.class | 3.51 KB | 1.52 KB | 43% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/ConflictMap.class | 14.07 KB | 6.58 KB | 46% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/ConflictMapCardinality.class | 494 bytes | 267 bytes | 54% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/ConflictMapClause.class | 1.56 KB | 764 bytes | 47% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/ConflictMapSwitchToClause.class | 2.39 KB | 1.19 KB | 49% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/IConflict.class | 616 bytes | 330 bytes | 53% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/IDataStructurePB.class | 1.09 KB | 429 bytes | 38% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/IWatchPb.class | 267 bytes | 173 bytes | 64% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/InternalMapPBStructure.class | 4.03 KB | 1.76 KB | 43% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/LearntBinaryClausePB.class | 1.22 KB | 630 bytes | 50% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/LearntHTClausePB.class | 1.87 KB | 952 bytes | 49% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/MapPb.class | 7.54 KB | 3.14 KB | 41% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/MaxWatchPb.class | 5.65 KB | 2.64 KB | 46% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/MaxWatchPbLong.class | 5.45 KB | 2.54 KB | 46% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.class | 5.48 KB | 2.54 KB | 46% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/MinWatchCardPB.class | 4.14 KB | 1.79 KB | 43% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/MinWatchPb.class | 6.75 KB | 3.22 KB | 47% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/MinWatchPbLong.class | 6.45 KB | 3.13 KB | 48% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/MinWatchPbLongCP.class | 6.47 KB | 3.13 KB | 48% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/OriginalBinaryClausePB.class | 1.81 KB | 806 bytes | 43% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/OriginalHTClausePB.class | 1.79 KB | 803 bytes | 43% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/PBConstr.class | 449 bytes | 282 bytes | 62% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/Pseudos.class | 5.91 KB | 2.67 KB | 45% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/PuebloMinWatchPb.class | 3.11 KB | 1.47 KB | 47% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/UnitClausePB.class | 1.27 KB | 631 bytes | 48% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/UnitClausesPB.class | 1.20 KB | 555 bytes | 44% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/WatchPb.class | 10.40 KB | 5.07 KB | 48% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/WatchPbLong$1.class | 1.10 KB | 577 bytes | 51% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/WatchPbLong.class | 11.05 KB | 5.47 KB | 49% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/WatchPbLongCP.class | 10.95 KB | 5.32 KB | 48% | 2014-5-25 3:09:46 |
| org/sat4j/pb/constraints/pb/package-info.class | 133 bytes | 115 bytes | 86% | 2014-5-25 3:09:46 |
| org/sat4j/pb/core/IPBCDCLSolver.class | 338 bytes | 211 bytes | 62% | 2014-5-25 3:09:46 |
| org/sat4j/pb/core/ObjectiveReducerPBSolverDecorator.class | 12.93 KB | 4.54 KB | 35% | 2014-5-25 3:09:46 |
| org/sat4j/pb/core/PBDataStructureFactory.class | 1.11 KB | 379 bytes | 33% | 2014-5-25 3:09:46 |
| org/sat4j/pb/core/PBSolver$1$1.class | 1.19 KB | 694 bytes | 56% | 2014-5-25 3:09:46 |
| org/sat4j/pb/core/PBSolver$1.class | 4.20 KB | 2.04 KB | 48% | 2014-5-25 3:09:46 |
| org/sat4j/pb/core/PBSolver.class | 8.68 KB | 2.87 KB | 33% | 2014-5-25 3:09:46 |
| org/sat4j/pb/core/PBSolverCP.class | 6.81 KB | 2.65 KB | 38% | 2014-5-25 3:09:46 |
| org/sat4j/pb/core/PBSolverCautious.class | 2.90 KB | 1.11 KB | 38% | 2014-5-25 3:09:46 |
| org/sat4j/pb/core/PBSolverClause.class | 1.77 KB | 768 bytes | 42% | 2014-5-25 3:09:46 |
| org/sat4j/pb/core/PBSolverResCP.class | 3.15 KB | 993 bytes | 30% | 2014-5-25 3:09:46 |
| org/sat4j/pb/core/PBSolverResolution.class | 1.75 KB | 546 bytes | 30% | 2014-5-25 3:09:46 |
| org/sat4j/pb/core/PBSolverStats.class | 1.57 KB | 820 bytes | 50% | 2014-5-25 3:09:46 |
| org/sat4j/pb/core/PBSolverWithImpliedClause.class | 3.24 KB | 1.30 KB | 40% | 2014-5-25 3:09:46 |
| org/sat4j/pb/core/package-info.class | 123 bytes | 107 bytes | 86% | 2014-5-25 3:09:46 |
| org/sat4j/pb/orders/IOrderObjective.class | 237 bytes | 164 bytes | 69% | 2014-5-25 3:09:46 |
| org/sat4j/pb/orders/RandomWalkDecoratorObjective.class | 933 bytes | 452 bytes | 48% | 2014-5-25 3:09:46 |
| org/sat4j/pb/orders/VarOrderHeapObjective.class | 2.82 KB | 1.38 KB | 49% | 2014-5-25 3:09:46 |
| org/sat4j/pb/orders/package-info.class | 125 bytes | 109 bytes | 87% | 2014-5-25 3:09:46 |
| org/sat4j/pb/package-info.class | 118 bytes | 102 bytes | 86% | 2014-5-25 3:09:46 |
| org/sat4j/pb/reader/JSONPBReader.class | 4.82 KB | 2.24 KB | 46% | 2014-5-25 3:09:46 |
| org/sat4j/pb/reader/OPBEclipseReader2007.class | 1.92 KB | 1.04 KB | 53% | 2014-5-25 3:09:46 |
| org/sat4j/pb/reader/OPBReader2005.class | 11.66 KB | 5.44 KB | 46% | 2014-5-25 3:09:46 |
| org/sat4j/pb/reader/OPBReader2006.class | 978 bytes | 543 bytes | 55% | 2014-5-25 3:09:46 |
| org/sat4j/pb/reader/OPBReader2007.class | 7.93 KB | 3.86 KB | 48% | 2014-5-25 3:09:46 |
| org/sat4j/pb/reader/OPBReader2010.class | 4.92 KB | 2.57 KB | 52% | 2014-5-25 3:09:46 |
| org/sat4j/pb/reader/OPBReader2012.class | 2.19 KB | 1.18 KB | 53% | 2014-5-25 3:09:46 |
| org/sat4j/pb/reader/PBInstanceReader.class | 1.18 KB | 642 bytes | 52% | 2014-5-25 3:09:46 |
| org/sat4j/pb/reader/package-info.class | 125 bytes | 109 bytes | 87% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/AbstractLexicoHelper.class | 4.43 KB | 1.75 KB | 39% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/ClausalConstraintsDecorator.class | 4.06 KB | 1.47 KB | 36% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/ConflictTracing.class | 1.82 KB | 996 bytes | 53% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/DependencyHelper$1.class | 707 bytes | 372 bytes | 52% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/DependencyHelper$2.class | 829 bytes | 433 bytes | 52% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/DependencyHelper$Negation.class | 858 bytes | 456 bytes | 53% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/DependencyHelper.class | 19.26 KB | 7.20 KB | 37% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/DisjunctionRHS.class | 2.51 KB | 1.14 KB | 45% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/INegator.class | 220 bytes | 151 bytes | 68% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/ImplicationAnd.class | 2.74 KB | 1.10 KB | 40% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/ImplicationNamer.class | 1.65 KB | 720 bytes | 42% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/ImplicationRHS.class | 2.57 KB | 1003 bytes | 38% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/LexicoDecoratorPB.class | 4.98 KB | 1.79 KB | 36% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/LexicoHelper.class | 1.14 KB | 517 bytes | 44% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/ManyCorePB.class | 3.94 KB | 1.35 KB | 34% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/PBAdapter.class | 2.58 KB | 831 bytes | 31% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/SearchOptimizerListener.class | 3.02 KB | 1.39 KB | 46% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/SteppedTimeoutLexicoDecoratorPB.class | 4.33 KB | 2.15 KB | 49% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/SteppedTimeoutLexicoHelper.class | 1.20 KB | 530 bytes | 42% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/StringNegator.class | 914 bytes | 481 bytes | 52% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/WeightedObject.class | 2.89 KB | 1.13 KB | 39% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/XplainPB.class | 4.99 KB | 1.89 KB | 37% | 2014-5-25 3:09:46 |
| org/sat4j/pb/tools/package-info.class | 124 bytes | 108 bytes | 87% | 2014-5-25 3:09:46 |
| overview.html | 1.52 KB | 712 bytes | 45% | 2014-5-25 3:09:46 |
| plugin.properties | 1.50 KB | 717 bytes | 46% | 2014-5-25 3:09:46 |
492.88 KB in 148 files in org.sat4j.pb_2.3.5.v201404071733.jar. Compression ratio: 48%