| Name | Uncompressed size | Compressed size | Compr. ratio | Date |
|---|---|---|---|---|
| META-INF/MANIFEST.MF | 10.88 KB | 3.69 KB | 33% | 23 mai 2011 15:53:48 |
| META-INF/ECLIPSEF.SF | 10.03 KB | 3.42 KB | 34% | 23 mai 2011 15:53:50 |
| META-INF/ECLIPSEF.RSA | 5.50 KB | 3.29 KB | 59% | 23 mai 2011 15:53:50 |
| META-INF/eclipse.inf | 76 bytes | 65 bytes | 85% | 23 mai 2011 15:53:42 |
| about.html | 5.17 KB | 2.05 KB | 39% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/IPBSolver.class | 580 bytes | 273 bytes | 47% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/LanceurPseudo2005.class | 2.75 KB | 1.36 KB | 49% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/LanceurPseudo2007.class | 930 bytes | 540 bytes | 58% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/LanceurPseudo2007Eclipse.class | 2.15 KB | 1.12 KB | 52% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/OPBStringSolver$1.class | 571 bytes | 342 bytes | 59% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/OPBStringSolver.class | 4.36 KB | 1.95 KB | 44% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/ObjectiveFunction.class | 1.91 KB | 957 bytes | 48% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/OptToPBSATAdapter.class | 3.07 KB | 1.51 KB | 49% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/PBSolverDecorator.class | 1.03 KB | 480 bytes | 45% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/PseudoBitsAdderDecorator.class | 5.04 KB | 2.36 KB | 46% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/PseudoIteratorDecorator.class | 662 bytes | 434 bytes | 65% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/PseudoOptDecorator.class | 3.30 KB | 1.51 KB | 45% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/SolverFactory.class | 10.84 KB | 3.22 KB | 29% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/UserFriendlyPBStringSolver$1.class | 593 bytes | 350 bytes | 59% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/UserFriendlyPBStringSolver.class | 4.87 KB | 2.12 KB | 43% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.class | 2.97 KB | 1.41 KB | 47% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/AbstractPBDataStructureFactory$1.class | 1.91 KB | 936 bytes | 47% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/AbstractPBDataStructureFactory$2.class | 1.45 KB | 637 bytes | 42% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/AbstractPBDataStructureFactory$INormalizer.class | 637 bytes | 292 bytes | 45% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/AbstractPBDataStructureFactory.class | 4.71 KB | 1.65 KB | 35% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.class | 2.38 KB | 904 bytes | 36% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure.class | 1.89 KB | 688 bytes | 35% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/CompetResolutionPBLongMixedHTClauseCardConstrDataStructure.class | 3.69 KB | 1.58 KB | 42% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/CompetResolutionPBLongMixedWLClauseCardConstrDataStructure.class | 1.96 KB | 721 bytes | 35% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.class | 2.69 KB | 979 bytes | 35% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/CompetResolutionPBMixedWLClauseCardConstrDataStructure.class | 3.41 KB | 1.10 KB | 32% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/PBContainer.class | 353 bytes | 244 bytes | 69% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.class | 1.51 KB | 671 bytes | 43% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.class | 1.13 KB | 509 bytes | 43% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/PBMaxDataStructure.class | 1.27 KB | 549 bytes | 41% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.class | 1.44 KB | 587 bytes | 39% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/PBMinDataStructure.class | 1.29 KB | 557 bytes | 42% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.class | 1.53 KB | 676 bytes | 43% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.class | 3.31 KB | 1.07 KB | 32% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/PuebloPBMinDataStructure.class | 1.45 KB | 593 bytes | 39% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/AtLeastPB.class | 2.92 KB | 1.33 KB | 45% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/ConflictMap.class | 9.18 KB | 3.95 KB | 43% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/ConflictMapCardinality.class | 229 bytes | 148 bytes | 64% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/ConflictMapClause.class | 1.06 KB | 553 bytes | 50% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/ConflictMapMerging.class | 1.08 KB | 495 bytes | 44% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/ConflictMapSwitchToClause.class | 1.70 KB | 899 bytes | 51% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/IConflict.class | 578 bytes | 308 bytes | 53% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/IDataStructurePB.class | 1.04 KB | 406 bytes | 37% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/IWatchPb.class | 230 bytes | 146 bytes | 63% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/InternalMapPBStructure.class | 3.04 KB | 1.42 KB | 46% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/LearntBinaryClausePB.class | 769 bytes | 434 bytes | 56% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/LearntHTClausePB.class | 1.26 KB | 675 bytes | 52% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/MapPb.class | 5.25 KB | 2.19 KB | 41% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/MaxWatchPb.class | 4.18 KB | 1.83 KB | 43% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/MaxWatchPbLong.class | 3.84 KB | 1.72 KB | 45% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/MinWatchCardPB.class | 3.48 KB | 1.50 KB | 43% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/MinWatchPb.class | 5.27 KB | 2.33 KB | 44% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/MinWatchPbLong.class | 4.94 KB | 2.24 KB | 45% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/MinWatchPbLongPB.class | 1.15 KB | 587 bytes | 49% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/OriginalBinaryClausePB.class | 1.00 KB | 527 bytes | 51% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/OriginalHTClausePB.class | 1012 bytes | 526 bytes | 51% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/PBConstr.class | 412 bytes | 258 bytes | 62% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/Pseudos.class | 4.60 KB | 2.07 KB | 45% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/PuebloMinWatchPb.class | 2.65 KB | 1.25 KB | 47% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/UnitClausePB.class | 915 bytes | 483 bytes | 52% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/UnitClausesPB.class | 818 bytes | 405 bytes | 49% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/WatchPb.class | 6.47 KB | 3.08 KB | 47% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/constraints/pb/WatchPbLong.class | 6.27 KB | 3.06 KB | 48% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/core/PBDataStructureFactory.class | 640 bytes | 289 bytes | 45% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/core/PBSolver.class | 3.67 KB | 1.22 KB | 33% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/core/PBSolverCP.class | 5.46 KB | 2.15 KB | 39% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/core/PBSolverCautious.class | 1.90 KB | 791 bytes | 40% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/core/PBSolverClause.class | 1.02 KB | 506 bytes | 48% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/core/PBSolverMerging.class | 1.02 KB | 505 bytes | 48% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/core/PBSolverResCP.class | 2.38 KB | 717 bytes | 29% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/core/PBSolverResolution.class | 1.07 KB | 326 bytes | 29% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/core/PBSolverStats.class | 1.12 KB | 600 bytes | 52% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/core/PBSolverWithImpliedClause.class | 2.63 KB | 1.12 KB | 42% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/orders/VarOrderHeapObjective.class | 1.98 KB | 1.03 KB | 51% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/reader/OPBEclipseReader2007.class | 1.41 KB | 799 bytes | 55% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/reader/OPBReader2005.class | 8.50 KB | 3.86 KB | 45% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/reader/OPBReader2006.class | 665 bytes | 395 bytes | 59% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/reader/OPBReader2007.class | 5.52 KB | 2.69 KB | 48% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/reader/OPBReader2010.class | 3.83 KB | 1.98 KB | 51% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/reader/PBInstanceReader.class | 2.05 KB | 1.07 KB | 52% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/tools/ConflictTracing.class | 1.84 KB | 947 bytes | 50% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/tools/DependencyHelper$1.class | 564 bytes | 315 bytes | 55% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/tools/DependencyHelper$2.class | 553 bytes | 317 bytes | 57% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/tools/DependencyHelper$Negation.class | 383 bytes | 250 bytes | 65% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/tools/DependencyHelper.class | 11.74 KB | 4.32 KB | 36% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/tools/DisjunctionRHS.class | 1.92 KB | 921 bytes | 46% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/tools/INegator.class | 183 bytes | 125 bytes | 68% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/tools/ImplicationAnd.class | 1.93 KB | 824 bytes | 41% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/tools/ImplicationNamer.class | 1.11 KB | 529 bytes | 46% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/tools/ImplicationRHS.class | 1.86 KB | 764 bytes | 40% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/tools/LexicoDecoratorPB.class | 1.91 KB | 850 bytes | 43% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/tools/LexicoHelper.class | 1.47 KB | 754 bytes | 49% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/tools/ManyCorePB.class | 1.36 KB | 678 bytes | 48% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/tools/StringNegator.class | 606 bytes | 350 bytes | 57% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/tools/WeightedObject.class | 1.96 KB | 791 bytes | 39% | 29 mars 2011 09:59:02 |
| org/sat4j/pb/tools/XplainPB.class | 2.47 KB | 1.08 KB | 43% | 29 mars 2011 09:59:02 |
| overview.html | 1.52 KB | 712 bytes | 45% | 29 mars 2011 09:59:02 |
| plugin.properties | 1.53 KB | 742 bytes | 47% | 29 mars 2011 09:59:02 |
| target/META-INF/MANIFEST.MF | 1.00 KB | 375 bytes | 36% | 29 mars 2011 09:59:02 |
271.47 KB in 104 files in org.sat4j.pb_2.3.0.v20110329.jar. Compression ratio: 50%