data/sat4j-2.3.5/build.xml:86: agregation ==> aggregation
data/sat4j-2.3.5/org.sat4j.intervalorders/src/main/java/org/sat4j/intervalorders/CompactMatrixReader.java:63: returnn ==> return
data/sat4j-2.3.5/org.sat4j.intervalorders/src/main/java/org/sat4j/intervalorders/CompactMatrixReader.java:67: agregate ==> aggregate
data/sat4j-2.3.5/org.sat4j.intervalorders/src/main/java/org/sat4j/intervalorders/CompactMatrixReader.java:79: agregate ==> aggregate
data/sat4j-2.3.5/org.sat4j.intervalorders/src/main/java/org/sat4j/intervalorders/CompactMatrixReader.java:86: agregate ==> aggregate
data/sat4j-2.3.5/org.sat4j.intervalorders/src/main/java/org/sat4j/intervalorders/CompactMatrixReader.java:307: Assymetry ==> Asymmetry
data/sat4j-2.3.5/org.sat4j.intervalorders/src/main/java/org/sat4j/intervalorders/Tester.java:88: te ==> the, be, we
data/sat4j-2.3.5/org.sat4j.pb/src/test/java/org/sat4j/pb/GoodOPBReader.java:124: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/test/java/org/sat4j/pb/GoodOPBReader.java:141: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/test/java/org/sat4j/pb/GoodOPBReader.java:144: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/test/java/org/sat4j/pb/GoodOPBReader.java:196: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/test/java/org/sat4j/pb/GoodOPBReader.java:197: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/test/java/org/sat4j/pb/JsonPBReaderTest.java:95: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/test/java/org/sat4j/pb/JsonPBReaderTest.java:101: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/test/java/org/sat4j/pb/JsonPBReaderTest.java:117: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/test/java/org/sat4j/pb/JsonPBReaderTest.java:124: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/test/java/org/sat4j/pb/JsonPBReaderTest.java:140: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/test/java/org/sat4j/pb/JsonPBReaderTest.java:147: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/test/java/org/sat4j/pb/TestDependencyHelper.java:290: atLeast ==> at least
data/sat4j-2.3.5/org.sat4j.pb/src/test/java/org/sat4j/pb/TestDependencyHelper.java:306: atLeast ==> at least
data/sat4j-2.3.5/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT32.java:37: Lits ==> List
data/sat4j-2.3.5/org.sat4j.pb/src/test/java/org/sat4j/pb/BugSAT32.java:50: Lits ==> List
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/SolverFactory.java:93: contructor ==> constructor
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/IPBSolver.java:52: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/IPBSolver.java:71: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java:123: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java:126: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/OPBStringSolver.java:128: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoBitsAdderDecorator.java:127: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoBitsAdderDecorator.java:131: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoBitsAdderDecorator.java:181: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoBitsAdderDecorator.java:183: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoOptDecorator.java:206: te ==> the, be, we
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/PseudoOptDecorator.java:211: te ==> the, be, we
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/PBSolverDecorator.java:58: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/PBSolverDecorator.java:60: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/UserFriendlyPBStringSolver.java:108: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/UserFriendlyPBStringSolver.java:111: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/UserFriendlyPBStringSolver.java:114: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/UserFriendlyPBStringSolver.java:115: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/UserFriendlyPBStringSolver.java:120: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/UserFriendlyPBStringSolver.java:121: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/ObjectiveFunction.java:146: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/ObjectiveFunction.java:150: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/ObjectiveFunction.java:152: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:126: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:129: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/LPStringSolver.java:131: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/orders/VarOrderHeapObjective.java:74: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/orders/VarOrderHeapObjective.java:75: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ManyCorePB.java:59: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ManyCorePB.java:63: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/SteppedTimeoutLexicoDecoratorPB.java:74: te ==> the, be, we
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/SteppedTimeoutLexicoDecoratorPB.java:76: te ==> the, be, we
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/XplainPB.java:116: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/XplainPB.java:118: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/XplainPB.java:119: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/XplainPB.java:131: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/XplainPB.java:135: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ClausalConstraintsDecorator.java:65: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ClausalConstraintsDecorator.java:69: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ClausalConstraintsDecorator.java:71: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/ClausalConstraintsDecorator.java:74: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/PBAdapter.java:66: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/DependencyHelper.java:485: atLeast ==> at least
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/DependencyHelper.java:745: atLeast ==> at least
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/LexicoDecoratorPB.java:61: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/LexicoDecoratorPB.java:63: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AtLeastCardConstructor.java:36: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AtLeastCardConstructor.java:49: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AtLeastCardConstructor.java:56: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PBMinDataStructure.java:87: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PBMinDataStructure.java:88: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PBMinDataStructure.java:91: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AbstractPBDataStructureFactory.java:38: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AbstractPBDataStructureFactory.java:42: Lits ==> List
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AbstractPBDataStructureFactory.java:182: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AbstractPBDataStructureFactory.java:226: Lits ==> List
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AbstractPBDataStructureFactory.java:232: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/MinLongWatchPBConstructor.java:65: som ==> some
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/MinLongWatchPBConstructor.java:66: som ==> some
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/MinLongWatchPBConstructor.java:66: som ==> some
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/MinLongWatchPBConstructor.java:67: som ==> some
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PBMaxDataStructure.java:90: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PBMaxDataStructure.java:91: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PBMaxDataStructure.java:94: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/MinCardConstructor.java:51: ATLEAST ==> AT LEAST
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PuebloPBMinDataStructure.java:79: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PuebloPBMinDataStructure.java:80: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PuebloPBMinDataStructure.java:83: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/MinCardPBConstructor.java:51: ATLEAST ==> AT LEAST
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java:141: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java:142: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java:145: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java:149: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java:152: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java:155: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PBContainer.java:35: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PBContainer.java:39: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PBContainer.java:40: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/PBContainer.java:40: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:36: Lits ==> List
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:86: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:107: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:109: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:124: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:126: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:126: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:147: wether ==> weather, whether
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:155: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:157: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:158: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:166: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:168: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:169: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:189: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:215: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:249: marge ==> merge
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:280: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:281: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:300: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:301: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:346: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:389: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:389: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:399: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:400: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:400: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:401: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:423: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:424: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:435: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:442: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:464: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:475: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:479: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:491: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:492: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:492: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:493: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:508: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:509: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:513: Lits ==> List
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:513: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:515: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:517: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:529: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:530: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:531: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:557: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:558: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:558: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:580: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:605: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:605: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:611: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:614: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:637: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLongCP.java:640: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/Pseudos.java:50: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/Pseudos.java:51: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/Pseudos.java:55: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/Pseudos.java:59: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/Pseudos.java:70: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/Pseudos.java:74: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/Pseudos.java:82: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/Pseudos.java:82: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/PuebloMinWatchPb.java:46: Informations ==> Information
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/PuebloMinWatchPb.java:56: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/PuebloMinWatchPb.java:58: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/PuebloMinWatchPb.java:71: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/PuebloMinWatchPb.java:81: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/PuebloMinWatchPb.java:89: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/PuebloMinWatchPb.java:120: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/PuebloMinWatchPb.java:122: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/PuebloMinWatchPb.java:127: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java:45: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java:51: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java:52: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java:52: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java:60: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java:66: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java:72: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java:73: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java:89: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java:90: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java:103: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java:111: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java:113: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java:125: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java:127: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java:142: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/InternalMapPBStructure.java:146: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:85: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:97: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:105: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:108: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:117: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:132: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:133: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:135: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:136: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:140: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:166: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:167: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:196: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:229: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:230: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:247: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:248: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:249: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:265: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:287: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:297: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPb.java:300: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:81: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:93: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:101: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:104: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:112: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:127: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:128: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:130: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:131: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:135: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:160: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:161: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:191: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:223: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:224: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:242: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:243: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:244: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:261: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:287: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:297: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLong.java:301: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:81: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:93: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:101: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:104: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:112: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:127: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:128: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:130: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:131: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:135: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:160: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:161: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:190: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:222: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:223: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:240: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:241: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:242: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:259: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:285: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:295: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java:299: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/IDataStructurePB.java:48: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/IDataStructurePB.java:51: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:103: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:111: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:114: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:136: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:138: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:139: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:169: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:170: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:172: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:182: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:191: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:208: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:210: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:211: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:227: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:237: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:241: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:294: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:299: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:315: conflit ==> conflict
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:327: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:328: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:355: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:371: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:375: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:448: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:455: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java:462: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java:34: Lits ==> List
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java:83: som ==> some
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java:84: som ==> some
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java:86: som ==> some
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java:86: som ==> some
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java:88: som ==> some
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java:146: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java:148: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java:151: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java:156: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java:157: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java:236: Lits ==> List
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:100: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:108: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:111: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:133: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:135: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:136: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:166: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:167: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:169: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:179: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:188: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:205: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:207: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:208: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:224: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:234: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:238: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:292: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:297: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:313: conflit ==> conflict
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:325: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:326: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:354: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:371: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:375: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:448: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:455: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPbLong.java:462: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchCardPB.java:92: utilis ==> utilise
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchCardPB.java:103: ATLEAST ==> AT LEAST
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchCardPB.java:112: utilis ==> utilise
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchCardPB.java:116: termine ==> determine
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchCardPB.java:146: instanciated ==> instantiated
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchCardPB.java:169: termine ==> determine
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:36: Lits ==> List
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:81: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:102: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:104: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:117: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:119: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:119: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:128: wether ==> weather, whether
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:136: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:138: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:139: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:147: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:149: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:150: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:170: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:196: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:241: marge ==> merge
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:273: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:274: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:319: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:361: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:361: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:368: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:369: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:369: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:370: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:390: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:391: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:402: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:409: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:436: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:447: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:452: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:461: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:462: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:462: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:463: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:476: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:477: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:481: Lits ==> List
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:481: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:483: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:485: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:497: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:498: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:500: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:544: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:545: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:545: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:567: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:592: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:592: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:598: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:601: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:624: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:627: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPb.java:646: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/IConflict.java:44: litteral ==> literal
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/IConflict.java:56: litteral ==> literal
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/IConflict.java:56: assigne ==> assign, assigned
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/AtLeastPB.java:34: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/AtLeastPB.java:40: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/AtLeastPB.java:64: atleast ==> at least
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/AtLeastPB.java:65: atleast ==> at least
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/AtLeastPB.java:66: atleast ==> at least
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/AtLeastPB.java:83: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/AtLeastPB.java:101: termine ==> determine
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:100: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:108: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:111: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:133: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:136: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:137: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:168: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:169: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:171: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:181: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:190: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:207: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:210: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:211: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:227: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:237: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:240: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:293: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:298: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:314: conflit ==> conflict
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:326: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:327: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:354: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:370: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:374: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:447: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:454: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MinWatchPb.java:461: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:40: Lits ==> List
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:78: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:99: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:101: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:115: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:117: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:117: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:134: wether ==> weather, whether
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:142: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:144: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:145: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:153: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:155: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:156: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:177: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:210: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:244: marge ==> merge
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:275: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:276: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:321: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:363: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:363: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:370: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:371: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:371: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:372: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:392: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:393: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:404: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:411: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:437: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:447: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:451: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:460: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:461: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:461: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:462: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:475: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:476: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:480: Lits ==> List
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:480: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:482: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:484: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:496: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:497: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:498: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:524: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:525: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:525: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:547: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:572: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:572: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:578: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:581: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:604: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:607: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:637: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/WatchPbLong.java:641: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/ConflictMap.java:35: Lits ==> List
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/ConflictMap.java:591: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/ConflictMap.java:605: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/ConflictMap.java:607: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/ConflictMap.java:614: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/ConflictMap.java:761: Lits ==> List
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java:156: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java:161: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java:169: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java:177: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java:181: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java:185: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java:227: splitted ==> split
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java:228: splitted ==> split
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java:229: splitted ==> split
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java:232: splitted ==> split
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java:302: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java:303: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java:304: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java:308: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2007.java:311: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java:97: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java:127: contraints ==> constraints
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java:143: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java:144: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java:145: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java:146: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java:155: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java:157: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java:169: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java:171: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java:174: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java:176: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java:179: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java:196: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2005.java:646: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2012.java:83: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2012.java:84: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2012.java:85: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2006.java:60: indentifier ==> identifier
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2010.java:105: splitted ==> split
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2010.java:106: splitted ==> split
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2010.java:107: splitted ==> split
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2010.java:110: splitted ==> split
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/reader/OPBReader2010.java:187: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/core/ObjectiveReducerPBSolverDecorator.java:78: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/core/ObjectiveReducerPBSolverDecorator.java:80: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/core/ObjectiveReducerPBSolverDecorator.java:262: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/core/ObjectiveReducerPBSolverDecorator.java:264: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/core/ObjectiveReducerPBSolverDecorator.java:280: lits ==> list
data/sat4j-2.3.5/org.sat4j.pb/src/main/java/org/sat4j/pb/core/PBSolverCP.java:126: informations ==> information
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/bug001.cnf:7: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim-50-yes-ok.cnf:7: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim-50-no-ok.cnf:7: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-3_4-yes1-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-yes1-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-yes1-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-yes1-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-3_4-yes1-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-no-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-6_0-yes1-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-no-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-6_0-yes1-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-yes1-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-3_4-yes1-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-3_4-yes1-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-yes1-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-yes1-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-no-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-yes1-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-3_4-yes1-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-6_0-yes1-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-6_0-yes1-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-6_0-yes1-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-3_4-yes1-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-yes1-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-no-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-6_0-yes1-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-yes1-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-no-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-no-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-no-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-3_4-yes1-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-no-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-6_0-yes1-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-yes1-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-no-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-yes1-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-no-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-3_4-yes1-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-6_0-yes1-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-yes1-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-no-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-no-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-no-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-no-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-no-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-yes1-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-no-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-3_4-yes1-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-2_0-yes1-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-no-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-3_4-yes1-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-yes1-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-6_0-yes1-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-2_0-yes1-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-6_0-yes1-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-yes1-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-no-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-no-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-yes1-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-no-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-6_0-yes1-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-3_4-yes1-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-no-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-6_0-yes1-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-yes1-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-yes1-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-no-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-3_4-yes1-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-yes1-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-50-1_6-no-2.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-yes1-1.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-100-1_6-no-4.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-1_6-yes1-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/testfiles/aim/aim-200-2_0-yes1-3.cnf:6: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/java/bug001.cnf:7: Artifical ==> Artificial
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/TestsFonctionnels.java:235: atLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/TestsFonctionnels.java:237: atLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/AbstractM2Test.java:39: responsability ==> responsibility
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:34: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:48: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:65: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:65: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:69: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:70: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:71: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:75: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:76: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:78: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:87: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:88: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:89: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:90: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:91: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:91: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:98: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:99: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:100: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:101: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:105: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:106: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:107: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:108: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:109: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:110: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:111: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:112: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:113: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:114: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:115: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:116: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:117: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/constraints/LitTest.java:118: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/minisat/core/BugReset.java:64: imposible ==> impossible
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/tools/TestClausalCardinalitiesBinomialEncoding.java:383: Constraintes ==> Constraints
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/tools/TestClausalCardinalitiesBinomialEncoding.java:416: Constraintes ==> Constraints
data/sat4j-2.3.5/org.sat4j.core/src/test/java/org/sat4j/tools/TestClausalCardinalitiesBinomialEncoding.java:451: Constraintes ==> Constraints
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/Messages.java:36: intented ==> intended, indented
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/package-info.java:8: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/VarOrderHeap.java:59: mesure ==> measure
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/VarOrderHeap.java:70: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/VarOrderHeap.java:99: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/VarOrderHeap.java:100: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/VarOrderHeap.java:100: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/VarOrderHeap.java:113: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/VarOrderHeap.java:134: Methode ==> Method
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/VarOrderHeap.java:200: responsability ==> responsibility
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/VarOrderHeap.java:204: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/VarOrderHeap.java:214: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/VarOrderHeap.java:214: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/VarOrderHeap.java:216: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/VarOrderHeap.java:228: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/PureOrder.java:77: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/PureOrder.java:79: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/PureOrder.java:80: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/PureOrder.java:81: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/PhaseInLastLearnedClauseSelectionStrategy.java:35: lastest ==> latest
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/SubsetVarOrder.java:50: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/SubsetVarOrder.java:60: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/SubsetVarOrder.java:60: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/SubsetVarOrder.java:62: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/TabuListDecorator.java:98: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/TabuListDecorator.java:99: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/TabuListDecorator.java:100: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/RandomWalkDecorator.java:109: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/RandomWalkDecorator.java:110: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/orders/RandomWalkDecorator.java:111: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/ClausalDataStructureWL.java:34: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/ClausalDataStructureWL.java:80: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.java:56: ATLEAST ==> AT LEAST
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.java:74: ATLEAST ==> AT LEAST
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.java:80: ATLEAST ==> AT LEAST
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureSingleWL.java:32: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureSingleWL.java:35: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureSingleWL.java:62: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureSingleWL.java:69: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureSingleWL.java:101: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureDanielHT.java:32: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureDanielHT.java:36: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureDanielHT.java:65: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureDanielHT.java:72: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureDanielHT.java:110: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.java:57: ATLEAST ==> AT LEAST
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.java:75: ATLEAST ==> AT LEAST
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.java:81: ATLEAST ==> AT LEAST
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureDanielWL.java:32: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureDanielWL.java:36: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureDanielWL.java:63: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureDanielWL.java:70: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/MixedDataStructureDanielWL.java:108: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/AbstractDataStructureFactory.java:66: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/AbstractDataStructureFactory.java:77: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/AbstractDataStructureFactory.java:81: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/AbstractDataStructureFactory.java:84: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/AbstractDataStructureFactory.java:97: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/CardinalityDataStructure.java:32: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/CardinalityDataStructure.java:58: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/CardinalityDataStructure.java:71: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/CardinalityDataStructure.java:77: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.java:32: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.java:49: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:34: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:49: ATLEAST ==> AT LEAST
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:61: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:87: ATLEAST ==> AT LEAST
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:126: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:127: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:139: ATLEAST ==> AT LEAST
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:152: ATLEAST ==> AT LEAST
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:155: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:156: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:170: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:201: wether ==> weather, whether
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:225: verifie ==> verify, verified
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:225: litteral ==> literal
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:229: litteral ==> literal
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:235: litteral ==> literal
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:270: ATLEAST ==> AT LEAST
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:315: vise ==> vice
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:316: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:317: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:317: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:335: responsable ==> responsible
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:343: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:350: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:351: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:356: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:359: limite ==> limit
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:366: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:366: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:374: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:375: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:375: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:376: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:390: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:391: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:412: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:413: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:429: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:430: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:431: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:432: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:432: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:434: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:436: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:440: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:441: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:443: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:443: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:445: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:447: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:465: observ ==> observe
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:478: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:482: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:492: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:498: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:501: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:502: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:503: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:503: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:504: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:507: litteral ==> literal
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:508: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:510: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:519: litteral ==> literal
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:521: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:522: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:524: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:533: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:534: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:535: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:535: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:536: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:542: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:552: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:553: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:569: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:587: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:587: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:591: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:593: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:612: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:616: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MinWatchCard.java:638: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:35: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:49: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:62: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:72: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:76: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:77: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:88: verifie ==> verify, verified
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:88: litteral ==> literal
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:93: litteral ==> literal
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:99: litteral ==> literal
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:135: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:144: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:167: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:201: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:245: AtLeast ==> at least
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:246: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:256: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:266: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:270: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:293: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:294: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:295: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:297: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/AtLeast.java:328: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:35: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:58: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:61: termine ==> determine
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:66: Somme ==> Some
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:66: observ ==> observe
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:119: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:120: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:129: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:131: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:133: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:148: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:170: ment ==> meant
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:181: termine ==> determine
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:208: utilis ==> utilise
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:212: termine ==> determine
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:224: tre ==> tree
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:251: observ ==> observe
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:253: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:254: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:273: vise ==> vice
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:274: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:275: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:275: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:286: objet ==> object
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:286: utilis ==> utilise
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:308: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:321: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:344: somme ==> some
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:348: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:350: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:370: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:371: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:372: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:372: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:375: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:376: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:378: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:378: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:407: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/card/MaxWatchCard.java:411: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/Lits.java:47: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/Lits.java:71: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/UnitClause.java:127: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:54: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:67: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:68: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:81: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:82: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:93: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:94: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:104: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:113: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:114: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:148: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:165: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:166: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:184: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:195: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:199: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:204: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:205: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:216: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:227: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:227: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:231: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:233: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:252: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/WLClause.java:255: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/BinaryClause.java:140: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/BinaryClause.java:145: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/LearntWLClause.java:52: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/LearntWLClause.java:55: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/LearntWLClause.java:56: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/LearntWLClause.java:57: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/LearntWLClause.java:63: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/LearntWLClause.java:64: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/LearntWLClause.java:64: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/LearntWLClause.java:65: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/LearntWLClause.java:68: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/LearntWLClause.java:69: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/OriginalWLClause.java:53: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/OriginalWLClause.java:54: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/OriginalWLClause.java:55: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/Clauses.java:67: verifie ==> verify, verified
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/Clauses.java:67: litteral ==> literal
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/Clauses.java:72: litteral ==> literal
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/Clauses.java:78: litteral ==> literal
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/HTClause.java:195: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/HTClause.java:201: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/constraints/cnf/HTClause.java:207: Lits ==> List
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/learning/LimitedLearning.java:55: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/learning/LimitedLearning.java:66: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/learning/PercentLengthLearning.java:71: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java:494: formule ==> formula, formulas
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java:569: litteral ==> literal
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java:627: occuring ==> occurring
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java:1110: conflit ==> conflict
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java:1273: occured ==> occurred
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java:2252: accross ==> across
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java:2612: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java:2615: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Solver.java:2616: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/core/Constr.java:120: wether ==> weather, whether
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/core/ILits.java:48: usualy ==> usually
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/core/ILits.java:233: bactracking ==> backtracking
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/core/ConflictTimerContainer.java:39: Agregator ==> Aggregator
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/core/IOrder.java:47: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/minisat/core/IOrder.java:50: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/opt/MaxSatDecorator.java:67: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/opt/MaxSatDecorator.java:73: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/opt/MaxSatDecorator.java:92: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/opt/MaxSatDecorator.java:110: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/opt/MaxSatDecorator.java:124: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/opt/MaxSatDecorator.java:169: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/RemiUtils.java:52: feeded ==> fed
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/DimacsArrayReader.java:81: probleme ==> problem
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/SolutionCounter.java:53: te ==> the, be, we
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/ExtendedDimacsArrayReader.java:72: ATLEAST ==> AT LEAST
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Minimal4CardinalityModel.java:43: occuring ==> occurring
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/xplain/InsertionStrategy.java:50: ist ==> is, it, its, it's, sit, list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/xplain/QuickXplain2001Strategy.java:50: ist ==> is, it, its, it's, sit, list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/reader/LecteurDimacs.java:153: donn ==> done, don
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/reader/LecteurDimacs.java:153: tre ==> tree
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/reader/LecteurDimacs.java:203: espace ==> escape
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/reader/InstanceReader.java:41: responsability ==> responsibility
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/reader/DimacsReader.java:155: inconsistant ==> inconsistent
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/specs/IVec.java:86: begining ==> beginning
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/specs/IProblem.java:192: informations ==> information
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/specs/IProblem.java:204: informations ==> information
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/specs/IVecInt.java:101: occurence ==> occurrence
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/specs/IVecInt.java:148: begining ==> beginning
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/core/VecInt.java:244: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/core/VecInt.java:247: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/core/VecInt.java:248: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/core/VecInt.java:249: lits ==> list
data/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/core/VecInt.java:441: begining ==> beginning
data/sat4j-2.3.5/org.sat4j.scala/pom.xml:8: wonderfull ==> wonderful
data/sat4j-2.3.5/org.sat4j.scala/src/main/scala/org/sat4j/scala/testLogic.sc:128: ot ==> to, of, or
data/sat4j-2.3.5/org.sat4j.scala/src/main/scala/org/sat4j/scala/Logic.scala:336: litteral ==> literal
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/SolverFactory.java:65: contructor ==> constructor
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/GenericOptLauncher.java:93: accross ==> across
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java:71: lits ==> list
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java:75: lits ==> list
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java:101: lits ==> list
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java:194: lits ==> list
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java:200: lits ==> list
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java:208: lits ==> list
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java:217: lits ==> list
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java:224: lits ==> list
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java:235: lits ==> list
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java:318: lits ==> list
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java:387: lits ==> list
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java:408: lits ==> list
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java:427: lits ==> list
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java:446: lits ==> list
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java:454: lits ==> list
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java:470: lits ==> list
data/sat4j-2.3.5/org.sat4j.maxsat/src/main/java/org/sat4j/maxsat/WeightedMaxSatDecorator.java:472: lits ==> list
data/sat4j-2.3.5/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Br4cpAraliaReader.java:80: lits ==> list
data/sat4j-2.3.5/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Br4cpAraliaReader.java:83: lits ==> list
data/sat4j-2.3.5/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Br4cpAraliaReader.java:86: lits ==> list
data/sat4j-2.3.5/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Br4cpAraliaReader.java:89: lits ==> list
data/sat4j-2.3.5/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Br4cpAraliaReader.java:91: lits ==> list
data/sat4j-2.3.5/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Br4cpLPReader.java:81: lits ==> list
data/sat4j-2.3.5/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Br4cpLPReader.java:84: lits ==> list
data/sat4j-2.3.5/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Br4cpLPReader.java:86: lits ==> list
data/sat4j-2.3.5/org.sat4j.br4cp/src/main/java/org/sat4j/br4cp/Br4cpLPReader.java:87: lits ==> list
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/TextualOneCell.java:26: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/TextualOneCell.java:60: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/TextualOneCell.java:81: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/TextualOneCell.java:90: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/TextualOneCell.java:100: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/TextualOneCell.java:162: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/TextualOneCell.java:173: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/TextualOneCell.java:184: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/TextualOneCell.java:313: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/TextualOneCell.java:326: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/TextualOneCell.java:465: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/GraphicalOneCell.java:35: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/GraphicalOneCell.java:103: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/GraphicalOneCell.java:114: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/GraphicalOneCell.java:118: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/GraphicalOneCell.java:127: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/GraphicalOneCell.java:162: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/GraphicalOneCell.java:173: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/GraphicalOneCell.java:180: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/GraphicalOneCell.java:196: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/GraphicalOneCell.java:206: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/GraphicalOneCell.java:215: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/GraphicalOneCell.java:339: protcted ==> protected
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/sudoku.properties:70: appearence ==> appearance
data/sat4j-2.3.5/org.sat4j.sudoku/src/main/java/org/sat4j/apps/sudoku/sudoku.properties:72: appearence ==> appearance
data/sat4j-2.3.5/org.sat4j.sat/src/main/java/org/sat4j/sat/RandomWalkCommandComponent.java:29: Probabilty ==> Probability
data/sat4j-2.3.5/org.sat4j.sat/src/main/java/org/sat4j/sat/DetailedCommandPanel.java:1358: desactivated ==> deactivated
data/sat4j-2.3.5/org.sat4j.sat/src/main/java/org/sat4j/sat/RestartCommandComponent.java:51: paramaters ==> parameters
data/sat4j-2.3.5/org.sat4j.sat/src/main/java/org/sat4j/sat/visu/VisuPreferencesFrame.java:74: evauluation ==> evaluation
data/sat4j-2.3.5/.pc/debian-build/build.xml:86: agregation ==> aggregation
data/sat4j-2.3.5/.pc/encoding.patch/build.xml:86: agregation ==> aggregation