| Name | Uncompressed size | Compressed size | Compr. ratio | Date |
|---|---|---|---|---|
| META-INF/MANIFEST.MF | 24.86 KB | 8.40 KB | 33% | Aug 27, 2013 4:49:58 AM |
| META-INF/ECLIPSE_.SF | 23.50 KB | 7.97 KB | 33% | Apr 16, 2015 3:00:30 PM |
| META-INF/ECLIPSE_.RSA | 6.12 KB | 3.87 KB | 63% | Apr 16, 2015 3:00:30 PM |
| META-INF/eclipse.inf | 76 bytes | 65 bytes | 85% | Aug 27, 2013 4:49:56 AM |
| about.html | 5.14 KB | 2.05 KB | 39% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/AbstractLauncher$1.class | 589 bytes | 354 bytes | 60% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/AbstractLauncher$2.class | 640 bytes | 393 bytes | 61% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/AbstractLauncher.class | 10.43 KB | 4.84 KB | 46% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/AbstractOptimizationLauncher.class | 3.69 KB | 1.94 KB | 52% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/BasicLauncher.class | 2.63 KB | 1.22 KB | 46% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/ExitCode.class | 955 bytes | 544 bytes | 56% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/ILauncherMode$1.class | 4.63 KB | 2.33 KB | 50% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/ILauncherMode$2.class | 4.89 KB | 2.43 KB | 49% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/ILauncherMode.class | 1.07 KB | 607 bytes | 55% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/LightFactory.class | 2.66 KB | 1.21 KB | 45% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/MUSLauncher$1.class | 1.48 KB | 824 bytes | 54% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/MUSLauncher$2.class | 1.88 KB | 958 bytes | 49% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/MUSLauncher.class | 6.60 KB | 3.20 KB | 48% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/Messages.class | 1.07 KB | 572 bytes | 52% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/MoreThanSAT.class | 2.63 KB | 1.27 KB | 48% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/core/ASolverFactory.class | 3.04 KB | 1.40 KB | 46% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/core/ConstrGroup.class | 2.42 KB | 1.13 KB | 46% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/core/DefaultComparator.class | 1.03 KB | 514 bytes | 48% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/core/LiteralsUtils.class | 996 bytes | 543 bytes | 54% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/core/ReadOnlyVec.class | 4.86 KB | 1.49 KB | 30% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/core/ReadOnlyVecInt.class | 4.04 KB | 1.35 KB | 33% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/core/Vec$1.class | 1.09 KB | 629 bytes | 55% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/core/Vec.class | 8.15 KB | 3.61 KB | 44% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/core/VecInt$1$1.class | 758 bytes | 438 bytes | 57% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/core/VecInt$1.class | 3.78 KB | 1.27 KB | 33% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/core/VecInt$2.class | 927 bytes | 539 bytes | 58% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/core/VecInt.class | 8.13 KB | 4.00 KB | 49% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/core/package-info.class | 120 bytes | 104 bytes | 86% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/messages.properties | 289 bytes | 164 bytes | 56% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/SolverFactory.class | 10.02 KB | 3.33 KB | 33% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.class | 648 bytes | 344 bytes | 53% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/AbstractDataStructureFactory.class | 2.75 KB | 1.17 KB | 42% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/CardinalityDataStructure.class | 1.66 KB | 682 bytes | 40% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.class | 1.71 KB | 708 bytes | 40% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.class | 1.71 KB | 706 bytes | 40% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/ClausalDataStructureWL.class | 2.06 KB | 831 bytes | 39% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/MixedDataStructureDanielHT.class | 2.80 KB | 1.01 KB | 36% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/MixedDataStructureDanielWL.class | 2.80 KB | 1.01 KB | 36% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/MixedDataStructureSingleWL.class | 2.67 KB | 1000 bytes | 36% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/card/AtLeast.class | 6.31 KB | 2.85 KB | 45% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/card/MaxWatchCard.class | 6.82 KB | 3.16 KB | 46% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/card/MinWatchCard.class | 9.43 KB | 4.53 KB | 48% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/card/package-info.class | 140 bytes | 119 bytes | 85% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/cnf/BinaryClause.class | 4.69 KB | 2.14 KB | 45% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/cnf/Clauses.class | 1.50 KB | 827 bytes | 53% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/cnf/HTClause.class | 5.89 KB | 2.93 KB | 49% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/cnf/LearntBinaryClause.class | 1.03 KB | 523 bytes | 49% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/cnf/LearntHTClause.class | 1.60 KB | 878 bytes | 53% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/cnf/LearntWLClause.class | 1.63 KB | 911 bytes | 54% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/cnf/Lits.class | 5.83 KB | 2.69 KB | 46% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/cnf/OriginalBinaryClause.class | 1.38 KB | 643 bytes | 45% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/cnf/OriginalHTClause.class | 1.66 KB | 770 bytes | 45% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/cnf/OriginalWLClause.class | 1.75 KB | 873 bytes | 48% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/cnf/UnitClause.class | 2.92 KB | 1.20 KB | 41% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/cnf/UnitClauses.class | 2.73 KB | 1.11 KB | 40% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/cnf/WLClause.class | 5.12 KB | 2.54 KB | 49% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/cnf/package-info.class | 139 bytes | 119 bytes | 85% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/constraints/package-info.class | 135 bytes | 117 bytes | 86% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/ActivityComparator.class | 1.04 KB | 567 bytes | 52% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/ActivityListener.class | 239 bytes | 147 bytes | 61% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/CircularBuffer.class | 1.11 KB | 680 bytes | 59% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/ConflictTimer.class | 174 bytes | 142 bytes | 81% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/ConflictTimerAdapter.class | 846 bytes | 496 bytes | 58% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/ConflictTimerContainer.class | 1.62 KB | 732 bytes | 43% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Constr.class | 680 bytes | 391 bytes | 57% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/ConstrActivityListener.class | 211 bytes | 152 bytes | 72% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Counter.class | 839 bytes | 443 bytes | 52% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/DataStructureFactory.class | 963 bytes | 448 bytes | 46% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Heap.class | 3.28 KB | 1.56 KB | 47% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/ICDCL.class | 1.88 KB | 695 bytes | 35% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/ILits.class | 1018 bytes | 508 bytes | 49% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/IOrder.class | 683 bytes | 372 bytes | 54% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/IPhaseSelectionStrategy.class | 319 bytes | 227 bytes | 71% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/ISimplifier.class | 204 bytes | 166 bytes | 81% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/IntQueue.class | 1.86 KB | 1.03 KB | 55% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/LearnedConstraintsDeletionStrategy.class | 526 bytes | 302 bytes | 57% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/LearnedConstraintsEvaluationType.class | 1.22 KB | 592 bytes | 47% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Learner.class | 171 bytes | 135 bytes | 78% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/LearningStrategy.class | 542 bytes | 290 bytes | 53% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Pair.class | 455 bytes | 307 bytes | 67% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Propagatable.class | 255 bytes | 183 bytes | 71% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/RestartStrategy.class | 581 bytes | 352 bytes | 60% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/SearchParams.class | 2.68 KB | 1.25 KB | 46% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/SimplificationType.class | 1.16 KB | 589 bytes | 49% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Solver$1.class | 769 bytes | 452 bytes | 58% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Solver$10.class | 656 bytes | 396 bytes | 60% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Solver$11.class | 781 bytes | 469 bytes | 60% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Solver$2.class | 978 bytes | 531 bytes | 54% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Solver$3.class | 981 bytes | 537 bytes | 54% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Solver$4.class | 1012 bytes | 554 bytes | 54% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Solver$5.class | 958 bytes | 565 bytes | 58% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Solver$6.class | 1.08 KB | 641 bytes | 57% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Solver$7.class | 1.08 KB | 582 bytes | 52% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Solver$8$1.class | 902 bytes | 470 bytes | 52% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Solver$8.class | 3.24 KB | 1.47 KB | 45% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Solver$9.class | 3.06 KB | 1.40 KB | 45% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Solver$Glucose2LCDS.class | 1.46 KB | 745 bytes | 49% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Solver$GlucoseLCDS.class | 3.79 KB | 1.86 KB | 48% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Solver.class | 50.40 KB | 21.65 KB | 42% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/SolverStats.class | 3.68 KB | 1.71 KB | 46% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/Undoable.class | 142 bytes | 124 bytes | 87% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/VarActivityListener.class | 203 bytes | 166 bytes | 81% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/VoidTracing.class | 2.24 KB | 800 bytes | 34% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/core/package-info.class | 128 bytes | 111 bytes | 86% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/learning/AbstractLearning.class | 1.89 KB | 878 bytes | 45% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/learning/ActiveLearning.class | 2.63 KB | 1.13 KB | 42% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/learning/ClauseOnlyLearning.class | 1.02 KB | 510 bytes | 48% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/learning/FixedLengthLearning.class | 1.79 KB | 824 bytes | 44% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/learning/LimitedLearning.class | 2.55 KB | 1.01 KB | 39% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/learning/MiniSATLearning.class | 1.70 KB | 724 bytes | 41% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/learning/NoLearningButHeuristics.class | 876 bytes | 439 bytes | 50% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/learning/NoLearningNoHeuristics.class | 835 bytes | 404 bytes | 48% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/learning/PercentLengthLearning.class | 2.02 KB | 935 bytes | 44% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/learning/package-info.class | 132 bytes | 114 bytes | 86% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/orders/AbstractPhaserecordingSelectionStrategy.class | 964 bytes | 550 bytes | 57% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy.class | 1.17 KB | 555 bytes | 46% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/orders/PhaseCachingAutoEraseStrategy.class | 994 bytes | 528 bytes | 53% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/orders/PhaseInLastLearnedClauseSelectionStrategy.class | 1018 bytes | 526 bytes | 51% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy.class | 1.17 KB | 556 bytes | 46% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/orders/PureOrder.class | 1.42 KB | 849 bytes | 58% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/orders/RSATLastLearnedClausesPhaseSelectionStrategy.class | 1.06 KB | 567 bytes | 51% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/orders/RSATPhaseSelectionStrategy.class | 968 bytes | 515 bytes | 53% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/orders/RandomLiteralSelectionStrategy.class | 1.40 KB | 694 bytes | 48% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/orders/RandomWalkDecorator.class | 4.04 KB | 1.74 KB | 43% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/orders/SubsetVarOrder.class | 1.80 KB | 1.01 KB | 56% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/orders/TabuListDecorator.class | 3.81 KB | 1.65 KB | 43% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/orders/UserFixedPhaseSelectionStrategy.class | 879 bytes | 431 bytes | 49% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/orders/ValuedLit.class | 1.30 KB | 684 bytes | 51% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/orders/VarOrderHeap.class | 4.90 KB | 2.35 KB | 48% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/orders/package-info.class | 130 bytes | 113 bytes | 86% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/package-info.class | 123 bytes | 106 bytes | 86% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/restarts/ArminRestarts.class | 1.96 KB | 975 bytes | 48% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/restarts/FixedPeriodRestarts.class | 2.03 KB | 925 bytes | 44% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/restarts/Glucose21Restarts.class | 2.18 KB | 1.07 KB | 48% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/restarts/LubyRestarts.class | 2.39 KB | 1.13 KB | 47% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/restarts/MiniSATRestarts.class | 1.80 KB | 873 bytes | 47% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/restarts/NoRestarts.class | 1.41 KB | 617 bytes | 42% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/minisat/restarts/package-info.class | 132 bytes | 115 bytes | 87% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/opt/AbstractSelectorVariablesDecorator.class | 2.99 KB | 1.24 KB | 41% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/opt/MaxSatDecorator.class | 3.75 KB | 1.85 KB | 49% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/opt/MinOneDecorator.class | 3.46 KB | 1.63 KB | 47% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/opt/package-info.class | 119 bytes | 103 bytes | 86% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/package-info.class | 115 bytes | 99 bytes | 86% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/reader/AAGReader.class | 3.74 KB | 1.92 KB | 51% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/reader/AIGReader.class | 3.92 KB | 2.14 KB | 54% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/reader/DimacsReader.class | 5.42 KB | 2.79 KB | 51% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/reader/EfficientScanner.class | 2.99 KB | 1.53 KB | 51% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/reader/GroupedCNFReader.class | 3.74 KB | 1.94 KB | 51% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/reader/InstanceReader.class | 3.34 KB | 1.59 KB | 47% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/reader/JSONReader.class | 5.61 KB | 2.61 KB | 46% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/reader/LecteurDimacs.class | 3.96 KB | 2.08 KB | 52% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/reader/ParseFormatException.class | 1.01 KB | 527 bytes | 50% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/reader/Reader.class | 2.74 KB | 1.34 KB | 49% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/reader/package-info.class | 122 bytes | 106 bytes | 86% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/ContradictionException.class | 822 bytes | 415 bytes | 50% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/IConstr.class | 243 bytes | 197 bytes | 81% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/IGroupSolver.class | 295 bytes | 198 bytes | 67% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/ILogAble$1.class | 626 bytes | 381 bytes | 60% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/ILogAble.class | 414 bytes | 283 bytes | 68% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/IOptimizationProblem.class | 827 bytes | 438 bytes | 52% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/IProblem.class | 766 bytes | 401 bytes | 52% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/ISolver.class | 2.27 KB | 970 bytes | 41% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/ISolverService.class | 767 bytes | 440 bytes | 57% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/IVec.class | 1.37 KB | 610 bytes | 43% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/IVecInt.class | 904 bytes | 472 bytes | 52% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/IteratorInt.class | 164 bytes | 137 bytes | 83% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/Lbool.class | 843 bytes | 486 bytes | 57% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/RandomAccessModel.class | 154 bytes | 130 bytes | 84% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/SearchListener.class | 811 bytes | 432 bytes | 53% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/TimeoutException.class | 804 bytes | 412 bytes | 51% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/UnitClauseProvider$1.class | 605 bytes | 332 bytes | 54% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/UnitClauseProvider.class | 489 bytes | 301 bytes | 61% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/UnitPropagationListener.class | 237 bytes | 182 bytes | 76% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/specs/package-info.class | 121 bytes | 105 bytes | 86% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/AbstractClauseSelectorSolver$1.class | 2.09 KB | 997 bytes | 46% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/AbstractClauseSelectorSolver$2.class | 1.42 KB | 639 bytes | 43% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/AbstractClauseSelectorSolver$SelectorState.class | 479 bytes | 262 bytes | 54% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/AbstractClauseSelectorSolver.class | 2.96 KB | 1.29 KB | 43% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/AbstractMinimalModel.class | 2.28 KB | 1.03 KB | 45% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/AbstractOutputSolver.class | 5.35 KB | 1.71 KB | 32% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/AllMUSes.class | 6.88 KB | 2.85 KB | 41% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/Backbone.class | 2.28 KB | 1.18 KB | 51% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/CheckMUSSolutionListener.class | 3.36 KB | 1.64 KB | 48% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/ClausalCardinalitiesDecorator.class | 2.78 KB | 1.05 KB | 37% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/ConflictDepthTracing.class | 2.04 KB | 948 bytes | 45% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/ConflictLevelTracing.class | 2.07 KB | 974 bytes | 45% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/DecisionLevelTracing.class | 1.30 KB | 686 bytes | 51% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/DecisionTracing.class | 2.09 KB | 969 bytes | 45% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/DimacsArrayReader.class | 1.87 KB | 1.03 KB | 55% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/DimacsOutputSolver.class | 4.38 KB | 2.01 KB | 46% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/DimacsStringSolver.class | 4.76 KB | 2.16 KB | 45% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/DotSearchTracing.class | 5.93 KB | 2.68 KB | 45% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/ExtendedDimacsArrayReader.class | 2.57 KB | 1.32 KB | 51% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/FileBasedVisualizationTool.class | 1.77 KB | 887 bytes | 48% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/FullClauseSelectorSolver.class | 3.73 KB | 1.54 KB | 41% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/GateTranslator.class | 9.24 KB | 3.87 KB | 41% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/GroupClauseSelectorSolver.class | 2.90 KB | 1.29 KB | 44% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/HeuristicsTracing.class | 1.48 KB | 776 bytes | 51% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/IVisualizationTool.class | 490 bytes | 331 bytes | 67% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/LBDTracing.class | 1.23 KB | 672 bytes | 53% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/LearnedClauseSizeTracing.class | 1.16 KB | 634 bytes | 52% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/LearnedClausesSizeTracing.class | 1.84 KB | 897 bytes | 47% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/LearnedTracing.class | 1.81 KB | 915 bytes | 49% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/LexicoDecorator.class | 6.30 KB | 2.81 KB | 44% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/ManyCore.class | 16.49 KB | 6.07 KB | 36% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/Minimal4CardinalityModel.class | 2.52 KB | 1.25 KB | 49% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/Minimal4InclusionModel.class | 2.42 KB | 1.21 KB | 50% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/ModelIterator.class | 2.22 KB | 1.15 KB | 52% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/ModelIteratorToSATAdapter.class | 1.47 KB | 746 bytes | 49% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/MultiTracing.class | 5.00 KB | 1.66 KB | 33% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/NegationDecorator.class | 3.36 KB | 1.50 KB | 44% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/OptToSatAdapter.class | 4.09 KB | 1.91 KB | 46% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/OutcomeListener.class | 165 bytes | 144 bytes | 87% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/RemiUtils.class | 998 bytes | 556 bytes | 55% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/RunnableSolver.class | 1.08 KB | 626 bytes | 56% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/RupSearchListener.class | 2.07 KB | 1.05 KB | 50% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/SearchEnumeratorListener.class | 1.84 KB | 954 bytes | 50% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/SearchListenerAdapter.class | 2.69 KB | 866 bytes | 31% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/SearchMinOneListener.class | 2.22 KB | 1.12 KB | 50% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/SingleSolutionDetector.class | 1.71 KB | 944 bytes | 53% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/SolutionCounter.class | 1.33 KB | 784 bytes | 57% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/SolutionFoundListener$1.class | 753 bytes | 391 bytes | 51% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/SolutionFoundListener.class | 527 bytes | 328 bytes | 62% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/SolverDecorator.class | 9.13 KB | 2.64 KB | 28% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/SpeedTracing.class | 2.29 KB | 1.16 KB | 50% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/StatisticsSolver.class | 10.85 KB | 4.16 KB | 38% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/TextOutputTracing.class | 4.18 KB | 1.58 KB | 37% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/encoding/Binary.class | 3.68 KB | 1.96 KB | 53% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/encoding/Binomial.class | 2.13 KB | 1.06 KB | 49% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/encoding/Commander.class | 2.80 KB | 1.46 KB | 52% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/encoding/EncodingStrategy.class | 1.64 KB | 853 bytes | 50% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/encoding/EncodingStrategyAdapter.class | 2.05 KB | 905 bytes | 43% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/encoding/Ladder.class | 2.96 KB | 1.38 KB | 46% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/encoding/Policy.class | 6.24 KB | 2.45 KB | 39% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/encoding/Product.class | 4.96 KB | 2.72 KB | 54% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/encoding/Sequential.class | 2.61 KB | 1.26 KB | 48% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/encoding/package-info.class | 130 bytes | 113 bytes | 86% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/package-info.class | 121 bytes | 105 bytes | 86% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/xplain/DeletionStrategy.class | 4.83 KB | 2.36 KB | 48% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/xplain/Explainer.class | 304 bytes | 209 bytes | 68% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/xplain/HighLevelXplain.class | 5.36 KB | 2.26 KB | 42% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/xplain/InsertionStrategy.class | 4.38 KB | 2.25 KB | 51% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/xplain/MinimizationStrategy.class | 528 bytes | 289 bytes | 54% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/xplain/QuickXplain2001Strategy.class | 4.08 KB | 2.04 KB | 50% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/xplain/QuickXplainStrategy.class | 4.56 KB | 2.20 KB | 48% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/xplain/Xplain.class | 6.40 KB | 2.62 KB | 41% | Aug 27, 2013 7:49:56 AM |
| org/sat4j/tools/xplain/package-info.class | 128 bytes | 112 bytes | 87% | Aug 27, 2013 7:49:56 AM |
| overview.html | 1.52 KB | 712 bytes | 45% | Aug 27, 2013 7:49:56 AM |
| plugin.properties | 1.50 KB | 714 bytes | 46% | Aug 27, 2013 7:49:56 AM |
| sat4j.version | 16 bytes | 18 bytes | 112% | Aug 27, 2013 7:49:56 AM |
682.86 KB in 255 files in org.sat4j.core_2.3.5.v201308161310.jar. Compression ratio: 51%