| Name | Uncompressed size | Compressed size | Compr. ratio | Date |
|---|---|---|---|---|
| META-INF/MANIFEST.MF | 17.79 KB | 6.09 KB | 34% | 23 mai 2011 15:53:30 |
| META-INF/ECLIPSEF.SF | 16.61 KB | 5.75 KB | 34% | 23 mai 2011 15:53:30 |
| META-INF/ECLIPSEF.RSA | 5.50 KB | 3.28 KB | 59% | 23 mai 2011 15:53:30 |
| META-INF/eclipse.inf | 76 bytes | 65 bytes | 85% | 23 mai 2011 15:53:22 |
| about.html | 4.88 KB | 1.96 KB | 40% | 29 mars 2011 09:59:00 |
| org/sat4j/AbstractLauncher$1.class | 415 bytes | 279 bytes | 67% | 29 mars 2011 09:59:00 |
| org/sat4j/AbstractLauncher$2.class | 466 bytes | 314 bytes | 67% | 29 mars 2011 09:59:00 |
| org/sat4j/AbstractLauncher.class | 6.92 KB | 3.32 KB | 48% | 29 mars 2011 09:59:00 |
| org/sat4j/AbstractOptimizationLauncher.class | 3.22 KB | 1.68 KB | 52% | 29 mars 2011 09:59:00 |
| org/sat4j/BasicLauncher.class | 2.57 KB | 1.27 KB | 49% | 29 mars 2011 09:59:00 |
| org/sat4j/ExitCode.class | 690 bytes | 412 bytes | 59% | 29 mars 2011 09:59:00 |
| org/sat4j/LightFactory.class | 2.00 KB | 997 bytes | 48% | 29 mars 2011 09:59:00 |
| org/sat4j/MUSLauncher.class | 4.18 KB | 2.04 KB | 48% | 29 mars 2011 09:59:00 |
| org/sat4j/Messages.class | 790 bytes | 434 bytes | 54% | 29 mars 2011 09:59:00 |
| org/sat4j/MoreThanSAT.class | 1.94 KB | 992 bytes | 49% | 29 mars 2011 09:59:00 |
| org/sat4j/core/ASolverFactory.class | 2.09 KB | 1.03 KB | 49% | 29 mars 2011 09:59:00 |
| org/sat4j/core/DefaultComparator.class | 699 bytes | 386 bytes | 55% | 29 mars 2011 09:59:00 |
| org/sat4j/core/LiteralsUtils.class | 1.03 KB | 612 bytes | 57% | 29 mars 2011 09:59:00 |
| org/sat4j/core/ReadOnlyVec.class | 2.53 KB | 976 bytes | 37% | 29 mars 2011 09:59:00 |
| org/sat4j/core/ReadOnlyVecInt.class | 2.06 KB | 806 bytes | 38% | 29 mars 2011 09:59:00 |
| org/sat4j/core/Vec$1.class | 909 bytes | 529 bytes | 58% | 29 mars 2011 09:59:00 |
| org/sat4j/core/Vec.class | 5.08 KB | 2.35 KB | 46% | 29 mars 2011 09:59:00 |
| org/sat4j/core/VecInt$1$1.class | 571 bytes | 356 bytes | 62% | 29 mars 2011 09:59:00 |
| org/sat4j/core/VecInt$1.class | 1.90 KB | 754 bytes | 38% | 29 mars 2011 09:59:00 |
| org/sat4j/core/VecInt$2.class | 736 bytes | 449 bytes | 61% | 29 mars 2011 09:59:00 |
| org/sat4j/core/VecInt.class | 4.54 KB | 2.20 KB | 48% | 29 mars 2011 09:59:00 |
| org/sat4j/messages.properties | 289 bytes | 164 bytes | 56% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/SolverFactory.class | 6.68 KB | 2.17 KB | 32% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.class | 414 bytes | 262 bytes | 63% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/AbstractDataStructureFactory.class | 1.98 KB | 930 bytes | 45% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/CardinalityDataStructure.class | 1.11 KB | 496 bytes | 43% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.class | 1.12 KB | 513 bytes | 44% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.class | 1.12 KB | 512 bytes | 44% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/ClausalDataStructureWL.class | 1.30 KB | 562 bytes | 41% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/MixedDataStructureDanielHT.class | 2.14 KB | 776 bytes | 35% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/MixedDataStructureDanielWL.class | 2.14 KB | 777 bytes | 35% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/MixedDataStructureSingleWL.class | 1.65 KB | 646 bytes | 38% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/card/AtLeast.class | 3.65 KB | 1.70 KB | 46% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/card/MaxWatchCard.class | 4.88 KB | 2.32 KB | 47% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/card/MinWatchCard.class | 6.32 KB | 2.94 KB | 46% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/cnf/BinaryClause.class | 3.46 KB | 1.63 KB | 47% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/cnf/Clauses.class | 1.07 KB | 603 bytes | 54% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/cnf/HTClause.class | 4.18 KB | 2.04 KB | 48% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/cnf/LearntBinaryClause.class | 534 bytes | 325 bytes | 60% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/cnf/LearntHTClause.class | 997 bytes | 584 bytes | 58% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/cnf/LearntWLClause.class | 1.54 KB | 876 bytes | 55% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/cnf/Lits.class | 4.27 KB | 2.02 KB | 47% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/cnf/OriginalBinaryClause.class | 785 bytes | 429 bytes | 54% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/cnf/OriginalHTClause.class | 1.04 KB | 557 bytes | 51% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/cnf/OriginalWLClause.class | 1.66 KB | 878 bytes | 51% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/cnf/UnitClause.class | 1.56 KB | 741 bytes | 46% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/cnf/UnitClauses.class | 1.40 KB | 673 bytes | 46% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/constraints/cnf/WLClause.class | 3.53 KB | 1.80 KB | 51% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/ActivityComparator.class | 795 bytes | 449 bytes | 56% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/ActivityListener.class | 194 bytes | 119 bytes | 61% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/ConflictTimer.class | 132 bytes | 117 bytes | 88% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/ConflictTimerAdapter.class | 541 bytes | 356 bytes | 65% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/ConflictTimerContainer.class | 1000 bytes | 516 bytes | 51% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Constr.class | 552 bytes | 342 bytes | 61% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/ConstrActivityListener.class | 160 bytes | 123 bytes | 76% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Counter.class | 400 bytes | 252 bytes | 63% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/DataStructureFactory.class | 871 bytes | 415 bytes | 47% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Heap.class | 2.60 KB | 1.28 KB | 49% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/ILits.class | 980 bytes | 490 bytes | 50% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/IOrder.class | 609 bytes | 324 bytes | 53% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/IPhaseSelectionStrategy.class | 267 bytes | 203 bytes | 76% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/IntQueue.class | 1.76 KB | 1.00 KB | 56% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Learner.class | 135 bytes | 107 bytes | 79% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/LearningStrategy.class | 497 bytes | 268 bytes | 53% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Pair.class | 314 bytes | 234 bytes | 74% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Propagatable.class | 162 bytes | 126 bytes | 77% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/RestartStrategy.class | 246 bytes | 190 bytes | 77% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/SearchParams.class | 2.18 KB | 1.10 KB | 50% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Solver$1.class | 537 bytes | 342 bytes | 63% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Solver$2.class | 755 bytes | 426 bytes | 56% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Solver$3.class | 758 bytes | 430 bytes | 56% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Solver$4.class | 789 bytes | 452 bytes | 57% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Solver$5$1.class | 710 bytes | 378 bytes | 53% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Solver$5.class | 2.53 KB | 1.16 KB | 45% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Solver$6$1.class | 852 bytes | 475 bytes | 55% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Solver$6.class | 2.59 KB | 1.22 KB | 47% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Solver$7$1.class | 1.06 KB | 572 bytes | 52% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Solver$7.class | 3.19 KB | 1.50 KB | 47% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Solver$8.class | 487 bytes | 322 bytes | 66% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Solver$9.class | 584 bytes | 368 bytes | 63% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Solver$ISimplifier.class | 251 bytes | 181 bytes | 72% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Solver$LearnedConstraintsDeletionStrategy.class | 543 bytes | 298 bytes | 54% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Solver.class | 26.09 KB | 10.70 KB | 41% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/SolverStats.class | 2.69 KB | 1.24 KB | 46% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/Undoable.class | 105 bytes | 98 bytes | 93% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/UnitPropagationListener.class | 192 bytes | 151 bytes | 78% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/VarActivityListener.class | 155 bytes | 140 bytes | 90% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/core/VoidTracing.class | 917 bytes | 412 bytes | 44% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/learning/AbstractLearning.class | 1.67 KB | 866 bytes | 50% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/learning/ActiveLearning.class | 1.66 KB | 840 bytes | 49% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/learning/ClauseOnlyLearning.class | 630 bytes | 370 bytes | 58% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/learning/FixedLengthLearning.class | 1.10 KB | 604 bytes | 53% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/learning/LimitedLearning.class | 1.84 KB | 786 bytes | 41% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/learning/MiniSATLearning.class | 1.28 KB | 587 bytes | 44% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/learning/NoLearningButHeuristics.class | 798 bytes | 404 bytes | 50% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/learning/NoLearningNoHeuristics.class | 764 bytes | 381 bytes | 49% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/learning/PercentLengthLearning.class | 1.26 KB | 692 bytes | 53% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/orders/AbstractPhaserecordingSelectionStrategy.class | 559 bytes | 375 bytes | 67% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy.class | 695 bytes | 385 bytes | 55% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/orders/PhaseCachingAutoEraseStrategy.class | 839 bytes | 490 bytes | 58% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/orders/PhaseInLastLearnedClauseSelectionStrategy.class | 843 bytes | 489 bytes | 58% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy.class | 695 bytes | 384 bytes | 55% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/orders/PureOrder.class | 1.01 KB | 653 bytes | 62% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/orders/RSATLastLearnedClausesPhaseSelectionStrategy.class | 912 bytes | 534 bytes | 58% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/orders/RSATPhaseSelectionStrategy.class | 827 bytes | 486 bytes | 58% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/orders/RandomLiteralSelectionStrategy.class | 899 bytes | 518 bytes | 57% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/orders/RandomWalkDecorator.class | 2.31 KB | 1.08 KB | 47% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/orders/UserFixedPhaseSelectionStrategy.class | 735 bytes | 408 bytes | 55% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/orders/ValuedLit.class | 976 bytes | 547 bytes | 56% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/orders/VarOrderHeap.class | 3.90 KB | 1.95 KB | 50% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/restarts/ArminRestarts.class | 982 bytes | 561 bytes | 57% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/restarts/LubyRestarts.class | 1.51 KB | 942 bytes | 60% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/restarts/MiniSATRestarts.class | 850 bytes | 490 bytes | 57% | 29 mars 2011 09:59:00 |
| org/sat4j/minisat/restarts/NoRestarts.class | 453 bytes | 293 bytes | 64% | 29 mars 2011 09:59:00 |
| org/sat4j/opt/AbstractSelectorVariablesDecorator.class | 1.77 KB | 1001 bytes | 55% | 29 mars 2011 09:59:00 |
| org/sat4j/opt/MaxSatDecorator.class | 2.07 KB | 1.06 KB | 51% | 29 mars 2011 09:59:00 |
| org/sat4j/opt/MinOneDecorator.class | 2.19 KB | 1.10 KB | 50% | 29 mars 2011 09:59:00 |
| org/sat4j/reader/AAGReader.class | 3.09 KB | 1.59 KB | 51% | 29 mars 2011 09:59:00 |
| org/sat4j/reader/AIGReader.class | 3.23 KB | 1.73 KB | 53% | 29 mars 2011 09:59:00 |
| org/sat4j/reader/DimacsReader.class | 4.56 KB | 2.30 KB | 50% | 29 mars 2011 09:59:00 |
| org/sat4j/reader/EfficientScanner.class | 2.04 KB | 1.04 KB | 51% | 29 mars 2011 09:59:00 |
| org/sat4j/reader/GroupedCNFReader.class | 3.85 KB | 1.90 KB | 49% | 29 mars 2011 09:59:00 |
| org/sat4j/reader/InstanceReader.class | 2.53 KB | 1.24 KB | 48% | 29 mars 2011 09:59:00 |
| org/sat4j/reader/LecteurDimacs.class | 2.94 KB | 1.54 KB | 52% | 29 mars 2011 09:59:00 |
| org/sat4j/reader/ParseFormatException.class | 670 bytes | 378 bytes | 56% | 29 mars 2011 09:59:00 |
| org/sat4j/reader/Reader.class | 1.41 KB | 767 bytes | 53% | 29 mars 2011 09:59:00 |
| org/sat4j/specs/ContradictionException.class | 443 bytes | 269 bytes | 60% | 29 mars 2011 09:59:00 |
| org/sat4j/specs/IConstr.class | 168 bytes | 141 bytes | 83% | 29 mars 2011 09:59:00 |
| org/sat4j/specs/IOptimizationProblem.class | 726 bytes | 391 bytes | 53% | 29 mars 2011 09:59:00 |
| org/sat4j/specs/IProblem.class | 545 bytes | 298 bytes | 54% | 29 mars 2011 09:59:00 |
| org/sat4j/specs/ISolver.class | 1.72 KB | 764 bytes | 43% | 29 mars 2011 09:59:00 |
| org/sat4j/specs/IVec.class | 1.34 KB | 591 bytes | 42% | 29 mars 2011 09:59:00 |
| org/sat4j/specs/IVecInt.class | 819 bytes | 437 bytes | 53% | 29 mars 2011 09:59:00 |
| org/sat4j/specs/IteratorInt.class | 124 bytes | 112 bytes | 90% | 29 mars 2011 09:59:00 |
| org/sat4j/specs/Lbool.class | 611 bytes | 363 bytes | 59% | 29 mars 2011 09:59:00 |
| org/sat4j/specs/SearchListener.class | 516 bytes | 301 bytes | 58% | 29 mars 2011 09:59:00 |
| org/sat4j/specs/TimeoutException.class | 437 bytes | 266 bytes | 60% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/AbstractOutputSolver.class | 2.70 KB | 1.03 KB | 38% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/ConflictLevelTracing.class | 1.49 KB | 741 bytes | 48% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/ConstrGroup.class | 1.51 KB | 815 bytes | 52% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/DecisionLevelTracing.class | 1.49 KB | 744 bytes | 48% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/DecisionTracing.class | 1.53 KB | 773 bytes | 49% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/DimacsArrayReader.class | 1.24 KB | 732 bytes | 57% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/DimacsOutputSolver.class | 2.97 KB | 1.48 KB | 50% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/DimacsStringSolver.class | 3.24 KB | 1.59 KB | 48% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/DotSearchTracing.class | 3.99 KB | 1.84 KB | 46% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/ExtendedDimacsArrayReader.class | 2.50 KB | 1.26 KB | 50% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/GateTranslator.class | 6.25 KB | 2.29 KB | 36% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/LearnedClauseSizeTracing.class | 1.55 KB | 767 bytes | 48% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/LexicoDecorator.class | 3.66 KB | 1.79 KB | 48% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/ManyCore.class | 7.73 KB | 3.22 KB | 41% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/Minimal4CardinalityModel.class | 977 bytes | 609 bytes | 62% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/Minimal4InclusionModel.class | 1.02 KB | 635 bytes | 60% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/ModelIterator.class | 1.54 KB | 852 bytes | 53% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/OptToSatAdapter.class | 2.55 KB | 1.23 KB | 48% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/OutcomeListener.class | 121 bytes | 118 bytes | 97% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/RemiUtils.class | 670 bytes | 400 bytes | 59% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/RunnableSolver.class | 809 bytes | 461 bytes | 56% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/SingleSolutionDetector.class | 1.64 KB | 922 bytes | 54% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/SolutionCounter.class | 931 bytes | 575 bytes | 61% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/SolverDecorator.class | 4.26 KB | 1.56 KB | 36% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/TextOutputTracing.class | 2.21 KB | 1007 bytes | 44% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/xplain/DeletionStrategy.class | 3.96 KB | 1.85 KB | 46% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/xplain/Explainer.class | 266 bytes | 183 bytes | 68% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/xplain/HighLevelXplain.class | 5.46 KB | 2.38 KB | 43% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/xplain/InsertionStrategy.class | 3.45 KB | 1.72 KB | 50% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/xplain/MinimizationStrategy.class | 451 bytes | 247 bytes | 54% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/xplain/Pair.class | 1.04 KB | 579 bytes | 54% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/xplain/QuickXplain2001Strategy.class | 3.20 KB | 1.58 KB | 49% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/xplain/QuickXplainStrategy.class | 3.12 KB | 1.46 KB | 46% | 29 mars 2011 09:59:00 |
| org/sat4j/tools/xplain/Xplain.class | 5.68 KB | 2.50 KB | 43% | 29 mars 2011 09:59:00 |
| overview.html | 1.52 KB | 712 bytes | 45% | 29 mars 2011 09:59:00 |
| plugin.properties | 1.53 KB | 739 bytes | 47% | 29 mars 2011 09:59:00 |
| sat4j.version | 16 bytes | 18 bytes | 112% | 29 mars 2011 09:59:00 |
| target/META-INF/MANIFEST.MF | 1.41 KB | 398 bytes | 27% | 29 mars 2011 09:59:00 |
368.11 KB in 180 files in org.sat4j.core_2.3.0.v20110329.jar. Compression ratio: 55%