Download choco3 Free Java Code

.gitignore//from w w w .  j  av  a2s  .  c  o  m
CHANGES.md
README.md
RELEASE.md
bump_release.sh
choco-environment/pom.xml
choco-environment/src/main/java/memory/AbstractEnvironment.java
choco-environment/src/main/java/memory/EnvironmentException.java
choco-environment/src/main/java/memory/Environments.java
choco-environment/src/main/java/memory/IEnvironment.java
choco-environment/src/main/java/memory/IStateBitSet.java
choco-environment/src/main/java/memory/IStateBool.java
choco-environment/src/main/java/memory/IStateDouble.java
choco-environment/src/main/java/memory/IStateDoubleVector.java
choco-environment/src/main/java/memory/IStateInt.java
choco-environment/src/main/java/memory/IStateIntVector.java
choco-environment/src/main/java/memory/IStateLong.java
choco-environment/src/main/java/memory/IStateObject.java
choco-environment/src/main/java/memory/IStorage.java
choco-environment/src/main/java/memory/copy/EnvironmentCopying.java
choco-environment/src/main/java/memory/copy/RcBool.java
choco-environment/src/main/java/memory/copy/RcDouble.java
choco-environment/src/main/java/memory/copy/RcDoubleVector.java
choco-environment/src/main/java/memory/copy/RcInt.java
choco-environment/src/main/java/memory/copy/RcIntVector.java
choco-environment/src/main/java/memory/copy/RcLong.java
choco-environment/src/main/java/memory/copy/RcObject.java
choco-environment/src/main/java/memory/copy/RecomputableElement.java
choco-environment/src/main/java/memory/copy/store/IStoredBoolCopy.java
choco-environment/src/main/java/memory/copy/store/IStoredDoubleCopy.java
choco-environment/src/main/java/memory/copy/store/IStoredIntCopy.java
choco-environment/src/main/java/memory/copy/store/IStoredLongCopy.java
choco-environment/src/main/java/memory/copy/store/StoredDoubleVectorCopy.java
choco-environment/src/main/java/memory/copy/store/StoredIntVectorCopy.java
choco-environment/src/main/java/memory/copy/store/StoredObjectCopy.java
choco-environment/src/main/java/memory/copy/store/StoredOperationCopy.java
choco-environment/src/main/java/memory/copy/store/flatten/StoredBoolCopy.java
choco-environment/src/main/java/memory/copy/store/flatten/StoredDoubleCopy.java
choco-environment/src/main/java/memory/copy/store/flatten/StoredIntCopy.java
choco-environment/src/main/java/memory/copy/store/flatten/StoredLongCopy.java
choco-environment/src/main/java/memory/generator/CodeGenerator.java
choco-environment/src/main/java/memory/package.html
choco-environment/src/main/java/memory/structure/IndexedBipartiteSet.java
choco-environment/src/main/java/memory/structure/IndexedObject.java
choco-environment/src/main/java/memory/structure/OneWordS32BitSet.java
choco-environment/src/main/java/memory/structure/OneWordS64BitSet.java
choco-environment/src/main/java/memory/structure/Operation.java
choco-environment/src/main/java/memory/structure/ReflectionOperation.java
choco-environment/src/main/java/memory/structure/S64BitSet.java
choco-environment/src/main/java/memory/trailing/AbstractStoredObject.java
choco-environment/src/main/java/memory/trailing/EnvironmentTrailing.java
choco-environment/src/main/java/memory/trailing/StoredBool.java
choco-environment/src/main/java/memory/trailing/StoredDouble.java
choco-environment/src/main/java/memory/trailing/StoredDoubleVector.java
choco-environment/src/main/java/memory/trailing/StoredInt.java
choco-environment/src/main/java/memory/trailing/StoredIntVector.java
choco-environment/src/main/java/memory/trailing/StoredLong.java
choco-environment/src/main/java/memory/trailing/trail/IOperationTrail.java
choco-environment/src/main/java/memory/trailing/trail/IStoredBoolTrail.java
choco-environment/src/main/java/memory/trailing/trail/IStoredDoubleTrail.java
choco-environment/src/main/java/memory/trailing/trail/IStoredIntTrail.java
choco-environment/src/main/java/memory/trailing/trail/IStoredLongTrail.java
choco-environment/src/main/java/memory/trailing/trail/ITrailStorage.java
choco-environment/src/main/java/memory/trailing/trail/StoredDoubleVectorTrail.java
choco-environment/src/main/java/memory/trailing/trail/StoredIntVectorTrail.java
choco-environment/src/main/java/memory/trailing/trail/chunck/OperationChunckTrail.java
choco-environment/src/main/java/memory/trailing/trail/chunck/StoredBoolChunckTrail.java
choco-environment/src/main/java/memory/trailing/trail/chunck/StoredDoubleChunckTrail.java
choco-environment/src/main/java/memory/trailing/trail/chunck/StoredIntChunckTrail.java
choco-environment/src/main/java/memory/trailing/trail/chunck/StoredLongChunckTrail.java
choco-environment/src/main/java/memory/trailing/trail/flatten/OperationTrail.java
choco-environment/src/main/java/memory/trailing/trail/flatten/StoredBoolTrail.java
choco-environment/src/main/java/memory/trailing/trail/flatten/StoredDoubleTrail.java
choco-environment/src/main/java/memory/trailing/trail/flatten/StoredIntTrail.java
choco-environment/src/main/java/memory/trailing/trail/flatten/StoredLongTrail.java
choco-environment/src/main/java/memory/trailing/trail/unsafe/UnsafeBoolTrail.java
choco-environment/src/main/java/memory/trailing/trail/unsafe/UnsafeDoubleTrail.java
choco-environment/src/main/java/memory/trailing/trail/unsafe/UnsafeIntTrail.java
choco-environment/src/main/java/memory/trailing/trail/unsafe/UnsafeLongTrail.java
choco-environment/src/main/resources/memory/IState_E_.template
choco-environment/src/main/resources/memory/copy/Rc_E_.template
choco-environment/src/main/resources/memory/copy/store/Stored_E_Copy.template
choco-environment/src/main/resources/memory/trailing/Stored_E_.template
choco-environment/src/main/resources/memory/trailing/trail/IStored_E_Trail.template
choco-environment/src/main/resources/memory/trailing/trail/chunck/Stored_E_ChunckTrail.template
choco-environment/src/main/resources/memory/trailing/trail/flatten/Stored_E_Trail.template
choco-environment/src/main/resources/memory/trailing/trail/unsafe/Unsafe_E_Trail.template
choco-extra/pom.xml
choco-extra/src/main/antlr3/generator/FlatzincExtLexer.g
choco-extra/src/main/antlr3/generator/FlatzincExtParser.g
choco-extra/src/main/antlr3/generator/FlatzincExtWalker.g
choco-extra/src/main/antlr3/generator/PropPol.g
choco-extra/src/main/antlr3/generator/SimpleCalc.g
choco-extra/src/main/java/choco/solver/search/enumerations/values/ApplyReverseAt.java
choco-extra/src/main/java/choco/solver/search/enumerations/values/AuxFromTo.java
choco-extra/src/main/java/choco/solver/search/enumerations/values/AuxMod.java
choco-extra/src/main/java/choco/solver/search/enumerations/values/Concat.java
choco-extra/src/main/java/choco/solver/search/enumerations/values/Id.java
choco-extra/src/main/java/choco/solver/search/enumerations/values/Main.java
choco-extra/src/main/java/choco/solver/search/enumerations/values/MapReverse.java
choco-extra/src/main/java/choco/solver/search/enumerations/values/Reverse.java
choco-extra/src/main/java/choco/solver/search/enumerations/values/SplitAt.java
choco-extra/src/main/java/choco/solver/search/enumerations/values/UnConcat.java
choco-extra/src/main/java/choco/solver/search/enumerations/values/UnZip.java
choco-extra/src/main/java/choco/solver/search/enumerations/values/ValueIterator.java
choco-extra/src/main/java/choco/solver/search/enumerations/values/Zip.java
choco-extra/src/main/java/database/MySQLViz.java
choco-extra/src/main/java/generator/CreateJarFile.java
choco-extra/src/main/java/generator/Engine.java
choco-extra/src/main/java/generator/Generate.java
choco-extra/src/main/java/generator/MakeQueue.java
choco-extra/src/main/java/solver/propagation/generator/Guess.java
choco-extra/src/main/java/solver/propagation/generator/Magic.java
choco-extra/src/main/java/solver/search/loop/monitors/Explore.java
choco-extra/src/main/java/solver/search/strategy/enumerations/IValue.java
choco-extra/src/main/java/solver/search/strategy/enumerations/IntVal.java
choco-extra/src/main/java/solver/search/strategy/enumerations/SortConductor.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/AbstractSorter.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/Decr.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/DomOverWDeg.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/Incr.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/Random.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/Reverse.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/Seq.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/SorterFactory.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/metrics/Belong.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/metrics/Degree.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/metrics/DomSize.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/metrics/IMetric.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/metrics/Input.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/metrics/LargestValues.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/metrics/LowerBound.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/metrics/Map.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/metrics/Middle.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/metrics/SmallestValues.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/metrics/UpperBound.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/metrics/operators/Div.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/metrics/operators/GetI.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/metrics/operators/Mult.java
choco-extra/src/main/java/solver/search/strategy/enumerations/sorters/metrics/operators/Remap.java
choco-extra/src/main/java/solver/search/strategy/enumerations/validators/IValid.java
choco-extra/src/main/java/solver/search/strategy/enumerations/validators/ValidAnd.java
choco-extra/src/main/java/solver/search/strategy/enumerations/validators/ValidatorFactory.java
choco-extra/src/main/java/solver/search/strategy/enumerations/validators/values/OccursAtMostOnce.java
choco-extra/src/main/java/solver/search/strategy/enumerations/validators/variables/Instanciated.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/HeuristicValFactory.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/comparators/Distance.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/comparators/IntComparator.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/domains/HeuristicValDomain.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/domains/HeuristicValDomainImpl.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/Action.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/HeuristicVal.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/nary/Join.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/nary/NaryHeuristicVal.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/nary/SeqN.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/nary/ZipN.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/unary/DropN.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/unary/Filter.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/unary/FirstN.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/unary/Last.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/unary/Lookahead.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/unary/Max.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/unary/UnaryHeuristicVal.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/zeroary/DomainUnion.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/zeroary/Empty.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/zeroary/FastEnumVal.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/zeroary/InstantiatedValues.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/zeroary/List.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/zeroary/Random.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/heuristics/zeroary/UnsafeEnum.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/metrics/Const.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/metrics/Median.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/metrics/Metric.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/metrics/Middle.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/metrics/NumberOfInstantiatedVariables.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/predicates/Greater.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/predicates/Member.java
choco-extra/src/main/java/solver/search/strategy/enumerations/values/predicates/Predicate.java
choco-extra/src/main/java/solver/search/strategy/strategy/StrategyVarValAssign.java
choco-extra/src/main/java/solver/variables/view/AbsView.java
choco-extra/src/main/java/solver/variables/view/SqrView.java
choco-extra/src/test/java/solver/search/ExplorerTest.java
choco-extra/src/test/java/solver/search/strategy/enumerations/DomainBuilder.java
choco-extra/src/test/java/solver/search/strategy/enumerations/ValueTest.java
choco-extra/src/test/java/solver/search/strategy/enumerations/VarValTest.java
choco-extra/src/test/java/solver/views/AbsTests.java
choco-extra/src/test/java/solver/views/SqrtTests.java
choco-parser/pom.xml
choco-parser/src/chocofzn/DESCRIPTION
choco-parser/src/chocofzn/README
choco-parser/src/chocofzn/config.xml
choco-parser/src/chocofzn/fzn_choco.sh
choco-parser/src/chocofzn/globals/all_different_int.mzn
choco-parser/src/chocofzn/globals/alldifferent_except_0.mzn
choco-parser/src/chocofzn/globals/among.mzn
choco-parser/src/chocofzn/globals/at_least_int.mzn
choco-parser/src/chocofzn/globals/at_most_int.mzn
choco-parser/src/chocofzn/globals/bin_packing.mzn
choco-parser/src/chocofzn/globals/bin_packing_capa.mzn
choco-parser/src/chocofzn/globals/bin_packing_load.mzn
choco-parser/src/chocofzn/globals/circuit.mzn
choco-parser/src/chocofzn/globals/count_eq.mzn
choco-parser/src/chocofzn/globals/count_eq_reif.mzn
choco-parser/src/chocofzn/globals/count_geq.mzn
choco-parser/src/chocofzn/globals/count_gt.mzn
choco-parser/src/chocofzn/globals/count_leq.mzn
choco-parser/src/chocofzn/globals/count_lt.mzn
choco-parser/src/chocofzn/globals/count_neq.mzn
choco-parser/src/chocofzn/globals/cumulative.mzn
choco-parser/src/chocofzn/globals/diffn.mzn
choco-parser/src/chocofzn/globals/exactly_int.mzn
choco-parser/src/chocofzn/globals/global_cardinality.mzn
choco-parser/src/chocofzn/globals/global_cardinality_closed.mzn
choco-parser/src/chocofzn/globals/global_cardinality_low_up.mzn
choco-parser/src/chocofzn/globals/global_cardinality_low_up_closed.mzn
choco-parser/src/chocofzn/globals/inverse.mzn
choco-parser/src/chocofzn/globals/lex2.mzn
choco-parser/src/chocofzn/globals/lex_less_bool.mzn
choco-parser/src/chocofzn/globals/lex_less_int.mzn
choco-parser/src/chocofzn/globals/lex_lesseq_bool.mzn
choco-parser/src/chocofzn/globals/lex_lesseq_int.mzn
choco-parser/src/chocofzn/globals/maximum_int.mzn
choco-parser/src/chocofzn/globals/member_int.mzn
choco-parser/src/chocofzn/globals/minimum_int.mzn
choco-parser/src/chocofzn/globals/nvalue.mzn
choco-parser/src/chocofzn/globals/redefinitions.mzn
choco-parser/src/chocofzn/globals/regular.mzn
choco-parser/src/chocofzn/globals/strict_lex2.mzn
choco-parser/src/chocofzn/globals/subcircuit.mzn
choco-parser/src/chocofzn/globals/table_bool.mzn
choco-parser/src/chocofzn/globals/table_int.mzn
choco-parser/src/main/antlr3/parser/flatzinc/FlatzincFullExtLexer.g
choco-parser/src/main/antlr3/parser/flatzinc/FlatzincFullExtParser.g
choco-parser/src/main/antlr3/parser/flatzinc/FlatzincFullExtWalker.g
choco-parser/src/main/antlr3/parser/flatzinc/FlatzincLexer.g
choco-parser/src/main/antlr3/parser/flatzinc/FlatzincParser.g
choco-parser/src/main/antlr3/parser/flatzinc/FlatzincWalker.g
choco-parser/src/main/antlr4/parser/flatzinc/Flatzinc4Lexer.g4
choco-parser/src/main/antlr4/parser/flatzinc/Flatzinc4Parser.g4
choco-parser/src/main/java/Flatzinc4Lexer.tokens
choco-parser/src/main/java/Flatzinc4Parser.tokens
choco-parser/src/main/java/FlatzincFullExtLexer.tokens
choco-parser/src/main/java/FlatzincFullExtParser.tokens
choco-parser/src/main/java/FlatzincFullExtWalker.tokens
choco-parser/src/main/java/FlatzincLexer.tokens
choco-parser/src/main/java/FlatzincParser.tokens
choco-parser/src/main/java/FlatzincWalker.tokens
choco-parser/src/main/java/database/MySQLAccess.java
choco-parser/src/main/java/parser/flatzinc/ChocoFZN.java
choco-parser/src/main/java/parser/flatzinc/FZNException.java
choco-parser/src/main/java/parser/flatzinc/FZNLayout.java
choco-parser/src/main/java/parser/flatzinc/FZNLayoutPara.java
choco-parser/src/main/java/parser/flatzinc/Flatzinc4Lexer.java
choco-parser/src/main/java/parser/flatzinc/Flatzinc4Parser.java
choco-parser/src/main/java/parser/flatzinc/Flatzinc4ParserBaseListener.java
choco-parser/src/main/java/parser/flatzinc/Flatzinc4ParserListener.java
choco-parser/src/main/java/parser/flatzinc/FlatzincFullExtLexer.java
choco-parser/src/main/java/parser/flatzinc/FlatzincFullExtParser.java
choco-parser/src/main/java/parser/flatzinc/FlatzincFullExtWalker.java
choco-parser/src/main/java/parser/flatzinc/FlatzincLexer.java
choco-parser/src/main/java/parser/flatzinc/FlatzincParser.java
choco-parser/src/main/java/parser/flatzinc/FlatzincWalker.java
choco-parser/src/main/java/parser/flatzinc/Mzn2fzn.java
choco-parser/src/main/java/parser/flatzinc/Mzn2fznHelper.java
choco-parser/src/main/java/parser/flatzinc/ParseAndSolve.java
choco-parser/src/main/java/parser/flatzinc/ParseAndSolveExt.java
choco-parser/src/main/java/parser/flatzinc/ParserConfiguration.java
choco-parser/src/main/java/parser/flatzinc/PreprocessFZN.java
choco-parser/src/main/java/parser/flatzinc/ast/Datas.java
choco-parser/src/main/java/parser/flatzinc/ast/Exit.java
choco-parser/src/main/java/parser/flatzinc/ast/FConstraint.java
choco-parser/src/main/java/parser/flatzinc/ast/FGoal.java
choco-parser/src/main/java/parser/flatzinc/ast/FParameter.java
choco-parser/src/main/java/parser/flatzinc/ast/FPredParam.java
choco-parser/src/main/java/parser/flatzinc/ast/FPredicate.java
choco-parser/src/main/java/parser/flatzinc/ast/FVariable.java
choco-parser/src/main/java/parser/flatzinc/ast/GoalConf.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/ArrayBoolAndBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/ArrayBoolOrBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/ArrayBoolXorBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/ArrayElementBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/ArrayVarElementBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/Bool2IntBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/BoolAndBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/BoolClauseBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/BoolEqBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/BoolEqReifBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/BoolLeBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/BoolLeReifBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/BoolLtBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/BoolLtReifBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/BoolNotBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/BoolOrBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/BoolXorBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntAbsBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntDivBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntEqBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntEqReifBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntLeBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntLeReifBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntLinEqBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntLinEqReifBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntLinLeBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntLinLeReifBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntLinNeBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntLinNeReifBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntLtBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntLtReifBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntMaxBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntMinBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntModBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntNeBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntNeReifBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntPlusBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/IntTimesBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/SetInBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/SetInReifBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/AllDifferentBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/AllDifferentBut0Builder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/AmongBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/AtLeastBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/AtMostBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/BinPackingBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/BinPackingCapaBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/BinPackingLoadBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/CircuitBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/CountEqBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/CountEqReifBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/CumulativeBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/DiffNBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/ExactlyBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/GlobalCardinalityBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/GlobalCardinalityLowUpBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/InverseBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/Lex2Builder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/LexLessBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/MaximumBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/MinimumBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/NValueBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/RegularBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/SubcircuitBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/constraints/global/TableBuilder.java
choco-parser/src/main/java/parser/flatzinc/ast/declaration/DArray.java
choco-parser/src/main/java/parser/flatzinc/ast/declaration/DBool.java
choco-parser/src/main/java/parser/flatzinc/ast/declaration/DFloat.java
choco-parser/src/main/java/parser/flatzinc/ast/declaration/DInt.java
choco-parser/src/main/java/parser/flatzinc/ast/declaration/DInt2.java
choco-parser/src/main/java/parser/flatzinc/ast/declaration/DManyInt.java
choco-parser/src/main/java/parser/flatzinc/ast/declaration/DSet.java
choco-parser/src/main/java/parser/flatzinc/ast/declaration/DSetOfInt.java
choco-parser/src/main/java/parser/flatzinc/ast/declaration/Declaration.java
choco-parser/src/main/java/parser/flatzinc/ast/expression/EAnnotation.java
choco-parser/src/main/java/parser/flatzinc/ast/expression/EArray.java
choco-parser/src/main/java/parser/flatzinc/ast/expression/EBool.java
choco-parser/src/main/java/parser/flatzinc/ast/expression/EIdArray.java
choco-parser/src/main/java/parser/flatzinc/ast/expression/EIdentifier.java
choco-parser/src/main/java/parser/flatzinc/ast/expression/EInt.java
choco-parser/src/main/java/parser/flatzinc/ast/expression/ESet.java
choco-parser/src/main/java/parser/flatzinc/ast/expression/ESetBounds.java
choco-parser/src/main/java/parser/flatzinc/ast/expression/ESetList.java
choco-parser/src/main/java/parser/flatzinc/ast/expression/EString.java
choco-parser/src/main/java/parser/flatzinc/ast/expression/Expression.java
choco-parser/src/main/java/parser/flatzinc/ast/ext/Attribute.java
choco-parser/src/main/java/parser/flatzinc/ast/ext/AttributeOperator.java
choco-parser/src/main/java/parser/flatzinc/ast/ext/BoolPredicate.java
choco-parser/src/main/java/parser/flatzinc/ast/ext/CombinedAttribute.java
choco-parser/src/main/java/parser/flatzinc/ast/ext/ExtPredicate.java
choco-parser/src/main/java/parser/flatzinc/ast/ext/Filter.java
choco-parser/src/main/java/parser/flatzinc/ast/ext/IAttribute.java
choco-parser/src/main/java/parser/flatzinc/ast/ext/Instruction.java
choco-parser/src/main/java/parser/flatzinc/ast/ext/IntPredicate.java
choco-parser/src/main/java/parser/flatzinc/ast/ext/Iterator.java
choco-parser/src/main/java/parser/flatzinc/ast/ext/NotPredicate.java
choco-parser/src/main/java/parser/flatzinc/ast/ext/Operator.java
choco-parser/src/main/java/parser/flatzinc/ast/ext/Predicate.java
choco-parser/src/main/java/parser/flatzinc/ast/ext/TruePredicate.java
choco-parser/src/main/java/parser/flatzinc/ast/searches/Assignment.java
choco-parser/src/main/java/parser/flatzinc/ast/searches/IntSearch.java
choco-parser/src/main/java/parser/flatzinc/ast/searches/Strategy.java
choco-parser/src/main/java/parser/flatzinc/ast/searches/VarChoice.java
choco-parser/src/main/java/parser/flatzinc/para/ParaserMaster.java
choco-parser/src/main/java/parser/flatzinc/para/ParaserSlave.java
choco-parser/src/main/resources/database_schema.sql
choco-parser/src/main/resources/fzn_manager.properties
choco-parser/src/main/resources/parser.properties
choco-parser/src/test/java/parser/flatzinc/FlatzincModelTest.java
choco-parser/src/test/java/parser/flatzinc/parser/GrammarTest.java
choco-parser/src/test/java/parser/flatzinc/parser/RandomPhrase.java
choco-parser/src/test/java/parser/flatzinc/parser/T_annotation.java
choco-parser/src/test/java/parser/flatzinc/parser/T_annotations.java
choco-parser/src/test/java/parser/flatzinc/parser/T_bool_const.java
choco-parser/src/test/java/parser/flatzinc/parser/T_constraint.java
choco-parser/src/test/java/parser/flatzinc/parser/T_expr.java
choco-parser/src/test/java/parser/flatzinc/parser/T_flatzinc_model.java
choco-parser/src/test/java/parser/flatzinc/parser/T_index_set.java
choco-parser/src/test/java/parser/flatzinc/parser/T_par_type.java
choco-parser/src/test/java/parser/flatzinc/parser/T_par_type_u.java
choco-parser/src/test/java/parser/flatzinc/parser/T_param_decl.java
choco-parser/src/test/java/parser/flatzinc/parser/T_solve_goal.java
choco-parser/src/test/java/parser/flatzinc/parser/T_var_decl.java
choco-parser/src/test/java/parser/flatzinc/parser/T_var_type.java
choco-parser/src/test/java/parser/flatzinc/parser/T_var_type_u.java
choco-parser/src/test/java/parser/flatzinc/parser/ext/GrammarExtTest.java
choco-parser/src/test/java/parser/flatzinc/parser/ext/T_attr_op.java
choco-parser/src/test/java/parser/flatzinc/parser/ext/T_attribute.java
choco-parser/src/test/java/parser/flatzinc/parser/ext/T_coll.java
choco-parser/src/test/java/parser/flatzinc/parser/ext/T_comb_attr.java
choco-parser/src/test/java/parser/flatzinc/parser/ext/T_elt.java
choco-parser/src/test/java/parser/flatzinc/parser/ext/T_group_decl.java
choco-parser/src/test/java/parser/flatzinc/parser/ext/T_iterator.java
choco-parser/src/test/java/parser/flatzinc/parser/ext/T_many.java
choco-parser/src/test/java/parser/flatzinc/parser/ext/T_models.java
choco-parser/src/test/java/parser/flatzinc/parser/ext/T_op.java
choco-parser/src/test/java/parser/flatzinc/parser/ext/T_predicate.java
choco-parser/src/test/java/parser/flatzinc/parser/ext/T_predicates.java
choco-parser/src/test/java/parser/flatzinc/parser/ext/T_struct.java
choco-parser/src/test/java/parser/flatzinc/parser/ext/T_struct_reg.java
choco-parser/src/test/resources/benchmarking/alpha/alpha.fzn
choco-parser/src/test/resources/benchmarking/alpha/alpha.mzn
choco-parser/src/test/resources/benchmarking/queens/004.dzn
choco-parser/src/test/resources/benchmarking/queens/queens.mzn
choco-samples/README.md
choco-samples/pom.xml
choco-samples/src/main/java/samples/AbstractBenchmarking.java
choco-samples/src/main/java/samples/ConsoleBenchmarking.java
choco-samples/src/main/java/samples/DecomposedAllDifferent.java
choco-samples/src/main/java/samples/FrontEndBenchmarking.java
choco-samples/src/main/java/samples/explanation/ExplainedOCProblem.java
choco-samples/src/main/java/samples/explanation/ExplainedOCProblemSmall.java
choco-samples/src/main/java/samples/explanation/ExplainedSimpleProblem.java
choco-samples/src/main/java/samples/graph/CliqueEnumeration.java
choco-samples/src/main/java/samples/graph/HamiltonianCycleProblem.java
choco-samples/src/main/java/samples/graph/KnightTourProblem.java
choco-samples/src/main/java/samples/graph/TransitiveClosure.java
choco-samples/src/main/java/samples/graph/TravelingSalesmanProblem.java
choco-samples/src/main/java/samples/graph/dcmstp/DCMST.java
choco-samples/src/main/java/samples/graph/dcmstp/NextSol.java
choco-samples/src/main/java/samples/graph/dcmstp/PropLowDegrees.java
choco-samples/src/main/java/samples/graph/input/DCMST_Utils.java
choco-samples/src/main/java/samples/graph/input/GraphGenerator.java
choco-samples/src/main/java/samples/graph/input/HCP_Utils.java
choco-samples/src/main/java/samples/graph/input/TSP_Utils.java
choco-samples/src/main/java/samples/graph/output/TextWriter.java
choco-samples/src/main/java/samples/integer/AbsoluteEvaluation.java
choco-samples/src/main/java/samples/integer/AirPlaneLanding.java
choco-samples/src/main/java/samples/integer/AllIntervalSeries.java
choco-samples/src/main/java/samples/integer/Alpha.java
choco-samples/src/main/java/samples/integer/BACP.java
choco-samples/src/main/java/samples/integer/BIBD.java
choco-samples/src/main/java/samples/integer/BigLeq.java
choco-samples/src/main/java/samples/integer/BigSum.java
choco-samples/src/main/java/samples/integer/BinPacking.java
choco-samples/src/main/java/samples/integer/CarSequencing.java
choco-samples/src/main/java/samples/integer/Contrived.java
choco-samples/src/main/java/samples/integer/CostasArrays.java
choco-samples/src/main/java/samples/integer/Donald.java
choco-samples/src/main/java/samples/integer/Eq20.java
choco-samples/src/main/java/samples/integer/Eq5.java
choco-samples/src/main/java/samples/integer/GolombRuler.java
choco-samples/src/main/java/samples/integer/Grocery.java
choco-samples/src/main/java/samples/integer/Knapsack.java
choco-samples/src/main/java/samples/integer/Langford.java
choco-samples/src/main/java/samples/integer/LatinSquare.java
choco-samples/src/main/java/samples/integer/MagicSequence.java
choco-samples/src/main/java/samples/integer/MagicSeries.java
choco-samples/src/main/java/samples/integer/MagicSquare.java
choco-samples/src/main/java/samples/integer/MarioKart.java
choco-samples/src/main/java/samples/integer/MeetingScheduling.java
choco-samples/src/main/java/samples/integer/Nonogram.java
choco-samples/src/main/java/samples/integer/OpenStacks.java
choco-samples/src/main/java/samples/integer/Ordering.java
choco-samples/src/main/java/samples/integer/OrthoLatinSquare.java
choco-samples/src/main/java/samples/integer/Partition.java
choco-samples/src/main/java/samples/integer/Photo.java
choco-samples/src/main/java/samples/integer/Pigeons.java
choco-samples/src/main/java/samples/integer/RLFAP.java
choco-samples/src/main/java/samples/integer/ReifSample.java
choco-samples/src/main/java/samples/integer/SchurLemma.java
choco-samples/src/main/java/samples/integer/SendMoreMoney.java
choco-samples/src/main/java/samples/integer/SocialGolfer.java
choco-samples/src/main/java/samples/integer/StableMarriage.java
choco-samples/src/main/java/samples/integer/Sudoku.java
choco-samples/src/main/java/samples/integer/WarehouseLocation.java
choco-samples/src/main/java/samples/nqueen/AbstractNQueen.java
choco-samples/src/main/java/samples/nqueen/NQueenBinary.java
choco-samples/src/main/java/samples/nqueen/NQueenBinaryGlobal.java
choco-samples/src/main/java/samples/nqueen/NQueenDualBinary.java
choco-samples/src/main/java/samples/nqueen/NQueenDualGlobal.java
choco-samples/src/main/java/samples/nqueen/NQueenGlobal.java
choco-samples/src/main/java/samples/nqueen/NQueenLinearBinary.java
choco-samples/src/main/java/samples/nsp/NSCPModelConstrained.java
choco-samples/src/main/java/samples/nsp/NSChecker.java
choco-samples/src/main/java/samples/nsp/NSData.java
choco-samples/src/main/java/samples/nsp/NSParser.java
choco-samples/src/main/java/samples/nsp/NurseScheduling.java
choco-samples/src/main/java/samples/nsp/NurseSchedulingProblem.java
choco-samples/src/main/java/samples/pert/GraphGenerator.java
choco-samples/src/main/java/samples/pert/GraphGenerator2.java
choco-samples/src/main/java/samples/pert/Pert.java
choco-samples/src/main/java/samples/pert/PertReified.java
choco-samples/src/main/java/samples/real/CycloHexan.java
choco-samples/src/main/java/samples/real/Grocery.java
choco-samples/src/main/java/samples/real/HybridCycloHexan.java
choco-samples/src/main/java/samples/real/SantaClaude.java
choco-samples/src/main/java/samples/real/SmallSantaClaude.java
choco-samples/src/main/java/samples/sandbox/DeBruijn.java
choco-samples/src/main/java/samples/sandbox/Dobble.java
choco-samples/src/main/java/samples/sandbox/NumericalSequence.java
choco-samples/src/main/java/samples/sandbox/lns/TSP_Sequential_LNS.java
choco-samples/src/main/java/samples/sandbox/lns/parallel/TSP_Parallel_LNS.java
choco-samples/src/main/java/samples/sandbox/lns/parallel/TSPslave.java
choco-samples/src/main/java/samples/set/Partition.java
choco-samples/src/main/java/samples/set/SetUnion.java
choco-samples/src/test/java/samples/AllSolverProp.java
choco-samples/src/test/java/samples/AllTest.java
choco-samples/src/test/java/samples/AllTestFactory.java
choco-samples/src/test/java/samples/CycleLtTest.java
choco-samples/src/test/java/samples/GolombRulerTest.java
choco-samples/src/test/java/samples/HamiltonianCircuitProblem.java
choco-samples/src/test/java/samples/HamiltonianPathTest.java
choco-samples/src/test/java/samples/KnapsackTest.java
choco-samples/src/test/java/samples/MagicSquareTest.java
choco-samples/src/test/java/samples/PartitionTest.java
choco-samples/src/test/java/samples/PertTest.java
choco-samples/src/test/java/samples/SamplesTest.java
choco-samples/src/test/java/samples/SubCircuitProblem.java
choco-samples/src/test/java/samples/nqueen/NQueenTest.java
choco-samples/src/test/java/samples/nqueen/NQueenTestFactory.java
choco-solver/pom.xml
choco-solver/src/main/java/samples/AbstractProblem.java
choco-solver/src/main/java/solver/Cause.java
choco-solver/src/main/java/solver/Configuration.java
choco-solver/src/main/java/solver/ICause.java
choco-solver/src/main/java/solver/IEventType.java
choco-solver/src/main/java/solver/ISolverProperties.java
choco-solver/src/main/java/solver/Identity.java
choco-solver/src/main/java/solver/ResolutionPolicy.java
choco-solver/src/main/java/solver/Solver.java
choco-solver/src/main/java/solver/SolverProperties.java
choco-solver/src/main/java/solver/constraints/Arithmetic.java
choco-solver/src/main/java/solver/constraints/Constraint.java
choco-solver/src/main/java/solver/constraints/ICF.java
choco-solver/src/main/java/solver/constraints/IntConstraint.java
choco-solver/src/main/java/solver/constraints/IntConstraintFactory.java
choco-solver/src/main/java/solver/constraints/LCF.java
choco-solver/src/main/java/solver/constraints/LogicalConstraintFactory.java
choco-solver/src/main/java/solver/constraints/Operator.java
choco-solver/src/main/java/solver/constraints/Propagator.java
choco-solver/src/main/java/solver/constraints/PropagatorPriority.java
choco-solver/src/main/java/solver/constraints/ReificationConstraint.java
choco-solver/src/main/java/solver/constraints/SatFactory.java
choco-solver/src/main/java/solver/constraints/binary/Absolute.java
choco-solver/src/main/java/solver/constraints/binary/DistanceXYC.java
choco-solver/src/main/java/solver/constraints/binary/PropAbsolute.java
choco-solver/src/main/java/solver/constraints/binary/PropDistanceXYC.java
choco-solver/src/main/java/solver/constraints/binary/PropElement.java
choco-solver/src/main/java/solver/constraints/binary/PropEqualXY_C.java
choco-solver/src/main/java/solver/constraints/binary/PropEqualX_Y.java
choco-solver/src/main/java/solver/constraints/binary/PropEqualX_YC.java
choco-solver/src/main/java/solver/constraints/binary/PropGreaterOrEqualXY_C.java
choco-solver/src/main/java/solver/constraints/binary/PropGreaterOrEqualX_Y.java
choco-solver/src/main/java/solver/constraints/binary/PropGreaterOrEqualX_YC.java
choco-solver/src/main/java/solver/constraints/binary/PropLessOrEqualXY_C.java
choco-solver/src/main/java/solver/constraints/binary/PropNotEqualXY_C.java
choco-solver/src/main/java/solver/constraints/binary/PropNotEqualX_Y.java
choco-solver/src/main/java/solver/constraints/binary/PropNotEqualX_YC.java
choco-solver/src/main/java/solver/constraints/binary/PropSquare.java
choco-solver/src/main/java/solver/constraints/binary/Square.java
choco-solver/src/main/java/solver/constraints/deprecatedPropagators/PropBigSum.java
choco-solver/src/main/java/solver/constraints/deprecatedPropagators/PropBoundGlobalCardinality.java
choco-solver/src/main/java/solver/constraints/deprecatedPropagators/PropBoundGlobalCardinaltyLowUp.java
choco-solver/src/main/java/solver/constraints/deprecatedPropagators/PropDomainChanneling.java
choco-solver/src/main/java/solver/constraints/deprecatedPropagators/PropElementV.java
choco-solver/src/main/java/solver/constraints/deprecatedPropagators/PropGCC_AC_Cards_AC.java
choco-solver/src/main/java/solver/constraints/deprecatedPropagators/PropGCC_AC_Cards_Fast.java
choco-solver/src/main/java/solver/constraints/deprecatedPropagators/PropGCC_AC_LowUp.java
choco-solver/src/main/java/solver/constraints/deprecatedPropagators/PropHalfImplied.java
choco-solver/src/main/java/solver/constraints/deprecatedPropagators/PropSumEqIncr.java
choco-solver/src/main/java/solver/constraints/deprecatedPropagators/PropSumGeq.java
choco-solver/src/main/java/solver/constraints/deprecatedPropagators/PropSumLeq.java
choco-solver/src/main/java/solver/constraints/deprecatedPropagators/PropTimes.java
choco-solver/src/main/java/solver/constraints/deprecatedPropagators/PropTimesWithLong.java
choco-solver/src/main/java/solver/constraints/extension/ConsistencyRelation.java
choco-solver/src/main/java/solver/constraints/extension/ExtensionalBinRelation.java
choco-solver/src/main/java/solver/constraints/extension/FastBooleanValidityChecker.java
choco-solver/src/main/java/solver/constraints/extension/FastValidityChecker.java
choco-solver/src/main/java/solver/constraints/extension/ValidityChecker.java
choco-solver/src/main/java/solver/constraints/extension/binary/BinCSP.java
choco-solver/src/main/java/solver/constraints/extension/binary/BinRelation.java
choco-solver/src/main/java/solver/constraints/extension/binary/CouplesTable.java
choco-solver/src/main/java/solver/constraints/extension/binary/PropBinAC2001.java
choco-solver/src/main/java/solver/constraints/extension/binary/PropBinCSP.java
choco-solver/src/main/java/solver/constraints/extension/nary/IterLargeRelation.java
choco-solver/src/main/java/solver/constraints/extension/nary/IterTuplesTable.java
choco-solver/src/main/java/solver/constraints/extension/nary/LargeCSP.java
choco-solver/src/main/java/solver/constraints/extension/nary/LargeRelation.java
choco-solver/src/main/java/solver/constraints/extension/nary/PropLargeCSP.java
choco-solver/src/main/java/solver/constraints/extension/nary/PropLargeGAC2001Positive.java
choco-solver/src/main/java/solver/constraints/extension/nary/PropLargeGAC3rmPositive.java
choco-solver/src/main/java/solver/constraints/extension/nary/TuplesList.java
choco-solver/src/main/java/solver/constraints/extension/nary/TuplesTable.java
choco-solver/src/main/java/solver/constraints/gary/GCF.java
choco-solver/src/main/java/solver/constraints/gary/GraphConstraintFactory.java
choco-solver/src/main/java/solver/constraints/gary/GraphLagrangianRelaxation.java
choco-solver/src/main/java/solver/constraints/gary/IGraphRelaxation.java
choco-solver/src/main/java/solver/constraints/gary/NTree.java
choco-solver/src/main/java/solver/constraints/gary/arborescences/PropAntiArborescence.java
choco-solver/src/main/java/solver/constraints/gary/arborescences/PropAntiArborescences.java
choco-solver/src/main/java/solver/constraints/gary/arborescences/PropArborescence.java
choco-solver/src/main/java/solver/constraints/gary/arborescences/PropArborescence_NaiveForm.java
choco-solver/src/main/java/solver/constraints/gary/arborescences/PropArborescences.java
choco-solver/src/main/java/solver/constraints/gary/arborescences/PropNTree.java
choco-solver/src/main/java/solver/constraints/gary/basic/PropAntiSymmetric.java
choco-solver/src/main/java/solver/constraints/gary/basic/PropBiconnected.java
choco-solver/src/main/java/solver/constraints/gary/basic/PropConnected.java
choco-solver/src/main/java/solver/constraints/gary/basic/PropEachNodeHasLoop.java
choco-solver/src/main/java/solver/constraints/gary/basic/PropKArcs.java
choco-solver/src/main/java/solver/constraints/gary/basic/PropKCC.java
choco-solver/src/main/java/solver/constraints/gary/basic/PropKCliques.java
choco-solver/src/main/java/solver/constraints/gary/basic/PropKLoops.java
choco-solver/src/main/java/solver/constraints/gary/basic/PropKNodes.java
choco-solver/src/main/java/solver/constraints/gary/basic/PropMaxDiameter.java
choco-solver/src/main/java/solver/constraints/gary/basic/PropMaxDiameterFromNode.java
choco-solver/src/main/java/solver/constraints/gary/basic/PropNoTriangle.java
choco-solver/src/main/java/solver/constraints/gary/basic/PropTransitivity.java
choco-solver/src/main/java/solver/constraints/gary/channeling/PropBoolGraph.java
choco-solver/src/main/java/solver/constraints/gary/channeling/PropGraphBool.java
choco-solver/src/main/java/solver/constraints/gary/channeling/PropGraphRelation.java
choco-solver/src/main/java/solver/constraints/gary/channeling/PropRelationGraph.java
choco-solver/src/main/java/solver/constraints/gary/channeling/relations/Dist_Int.java
choco-solver/src/main/java/solver/constraints/gary/channeling/relations/Eq_Int.java
choco-solver/src/main/java/solver/constraints/gary/channeling/relations/GraphRelation.java
choco-solver/src/main/java/solver/constraints/gary/channeling/relations/GraphRelationFactory.java
choco-solver/src/main/java/solver/constraints/gary/channeling/relations/IndexOf.java
choco-solver/src/main/java/solver/constraints/gary/channeling/relations/Member.java
choco-solver/src/main/java/solver/constraints/gary/channeling/relations/XplusC_Leq_Y_Int.java
choco-solver/src/main/java/solver/constraints/gary/degree/IncidentSet.java
choco-solver/src/main/java/solver/constraints/gary/degree/PropNodeDegree_AtLeast.java
choco-solver/src/main/java/solver/constraints/gary/degree/PropNodeDegree_AtMost.java
choco-solver/src/main/java/solver/constraints/gary/path/PropAllDiffGraphIncremental.java
choco-solver/src/main/java/solver/constraints/gary/path/PropIntVarChanneling.java
choco-solver/src/main/java/solver/constraints/gary/path/PropPathNoCycle.java
choco-solver/src/main/java/solver/constraints/gary/path/PropReducedPath.java
choco-solver/src/main/java/solver/constraints/gary/path/PropSCCDoorsRules.java
choco-solver/src/main/java/solver/constraints/gary/trees/PropTreeCostScalar.java
choco-solver/src/main/java/solver/constraints/gary/trees/PropTreeNoSubtour.java
choco-solver/src/main/java/solver/constraints/gary/trees/lagrangianRelaxation/AbstractTreeFinder.java
choco-solver/src/main/java/solver/constraints/gary/trees/lagrangianRelaxation/KruskalMSTFinder.java
choco-solver/src/main/java/solver/constraints/gary/trees/lagrangianRelaxation/KruskalMST_GAC.java
choco-solver/src/main/java/solver/constraints/gary/trees/lagrangianRelaxation/PrimMSTFinder.java
choco-solver/src/main/java/solver/constraints/gary/trees/lagrangianRelaxation/PropLagr_DCMST.java
choco-solver/src/main/java/solver/constraints/gary/tsp/specificHeaps/ArrayHeap.java
choco-solver/src/main/java/solver/constraints/gary/tsp/specificHeaps/BinarySimpleHeap.java
choco-solver/src/main/java/solver/constraints/gary/tsp/specificHeaps/FastArrayHeap.java
choco-solver/src/main/java/solver/constraints/gary/tsp/specificHeaps/FastSimpleHeap.java
choco-solver/src/main/java/solver/constraints/gary/tsp/specificHeaps/ISimpleHeap.java
choco-solver/src/main/java/solver/constraints/gary/tsp/undirected/PropCycleEvalObj.java
choco-solver/src/main/java/solver/constraints/gary/tsp/undirected/PropCycleNoSubtour.java
choco-solver/src/main/java/solver/constraints/gary/tsp/undirected/lagrangianRelaxation/KruskalOneTree_GAC.java
choco-solver/src/main/java/solver/constraints/gary/tsp/undirected/lagrangianRelaxation/PrimOneTreeFinder.java
choco-solver/src/main/java/solver/constraints/gary/tsp/undirected/lagrangianRelaxation/PropLagr_OneTree.java
choco-solver/src/main/java/solver/constraints/nary/PropDiffN.java
choco-solver/src/main/java/solver/constraints/nary/PropDomSize.java
choco-solver/src/main/java/solver/constraints/nary/PropKnapsack.java
choco-solver/src/main/java/solver/constraints/nary/alldifferent/AllDifferent.java
choco-solver/src/main/java/solver/constraints/nary/alldifferent/PropAllDiffAC_Fast.java
choco-solver/src/main/java/solver/constraints/nary/alldifferent/PropAllDiffAC_adaptive.java
choco-solver/src/main/java/solver/constraints/nary/alldifferent/PropAllDiffBC.java
choco-solver/src/main/java/solver/constraints/nary/alldifferent/PropAllDiffInst.java
choco-solver/src/main/java/solver/constraints/nary/alldifferent/conditions/AllDiffACAlgorithm.java
choco-solver/src/main/java/solver/constraints/nary/alldifferent/conditions/Condition.java
choco-solver/src/main/java/solver/constraints/nary/alldifferent/conditions/ConditionnalAllDifferent.java
choco-solver/src/main/java/solver/constraints/nary/alldifferent/conditions/PropCondAllDiffInst.java
choco-solver/src/main/java/solver/constraints/nary/alldifferent/conditions/PropCondAllDiff_AC.java
choco-solver/src/main/java/solver/constraints/nary/among/Among.java
choco-solver/src/main/java/solver/constraints/nary/among/PropAmongGAC.java
choco-solver/src/main/java/solver/constraints/nary/automata/CostRegular.java
choco-solver/src/main/java/solver/constraints/nary/automata/FA/CostAutomaton.java
choco-solver/src/main/java/solver/constraints/nary/automata/FA/FiniteAutomaton.java
choco-solver/src/main/java/solver/constraints/nary/automata/FA/IAutomaton.java
choco-solver/src/main/java/solver/constraints/nary/automata/FA/ICostAutomaton.java
choco-solver/src/main/java/solver/constraints/nary/automata/FA/utils/Bounds.java
choco-solver/src/main/java/solver/constraints/nary/automata/FA/utils/Counter.java
choco-solver/src/main/java/solver/constraints/nary/automata/FA/utils/CounterState.java
choco-solver/src/main/java/solver/constraints/nary/automata/FA/utils/ICounter.java
choco-solver/src/main/java/solver/constraints/nary/automata/MultiCostRegular.java
choco-solver/src/main/java/solver/constraints/nary/automata/PropCostRegular.java
choco-solver/src/main/java/solver/constraints/nary/automata/PropMultiCostRegular.java
choco-solver/src/main/java/solver/constraints/nary/automata/PropRegular.java
choco-solver/src/main/java/solver/constraints/nary/automata/Regular.java
choco-solver/src/main/java/solver/constraints/nary/automata/penalty/AbstractPenaltyFunction.java
choco-solver/src/main/java/solver/constraints/nary/automata/penalty/IPenaltyFunction.java
choco-solver/src/main/java/solver/constraints/nary/automata/penalty/IsoPenaltyFunction.java
choco-solver/src/main/java/solver/constraints/nary/automata/penalty/LinearPenaltyFunction.java
choco-solver/src/main/java/solver/constraints/nary/automata/penalty/NullPenaltyFunction.java
choco-solver/src/main/java/solver/constraints/nary/automata/structure/AutomatonOperation.java
choco-solver/src/main/java/solver/constraints/nary/automata/structure/Node.java
choco-solver/src/main/java/solver/constraints/nary/automata/structure/costregular/Arc.java
choco-solver/src/main/java/solver/constraints/nary/automata/structure/costregular/StoredValuedDirectedMultiGraph.java
choco-solver/src/main/java/solver/constraints/nary/automata/structure/multicostregular/Arc.java
choco-solver/src/main/java/solver/constraints/nary/automata/structure/multicostregular/FastPathFinder.java
choco-solver/src/main/java/solver/constraints/nary/automata/structure/multicostregular/StoredDirectedMultiGraph.java
choco-solver/src/main/java/solver/constraints/nary/automata/structure/regular/Arc.java
choco-solver/src/main/java/solver/constraints/nary/automata/structure/regular/StoredDirectedMultiGraph.java
choco-solver/src/main/java/solver/constraints/nary/channeling/DomainChanneling.java
choco-solver/src/main/java/solver/constraints/nary/channeling/InverseChanneling.java
choco-solver/src/main/java/solver/constraints/nary/channeling/PropEnumDomainChanneling.java
choco-solver/src/main/java/solver/constraints/nary/channeling/PropInverseChannelAC.java
choco-solver/src/main/java/solver/constraints/nary/channeling/PropInverseChannelBC.java
choco-solver/src/main/java/solver/constraints/nary/circuit/PropCircuitSCC.java
choco-solver/src/main/java/solver/constraints/nary/circuit/PropCircuit_AntiArboFiltering.java
choco-solver/src/main/java/solver/constraints/nary/circuit/PropIndexValue.java
choco-solver/src/main/java/solver/constraints/nary/circuit/PropNoSubtour.java
choco-solver/src/main/java/solver/constraints/nary/circuit/PropSubCircuitSCC.java
choco-solver/src/main/java/solver/constraints/nary/circuit/PropSubcircuit.java
choco-solver/src/main/java/solver/constraints/nary/circuit/PropSubcircuit_AntiArboFiltering.java
choco-solver/src/main/java/solver/constraints/nary/cnf/ILogical.java
choco-solver/src/main/java/solver/constraints/nary/cnf/LogOp.java
choco-solver/src/main/java/solver/constraints/nary/cnf/LogicTreeToolBox.java
choco-solver/src/main/java/solver/constraints/nary/cnf/PropClause.java
choco-solver/src/main/java/solver/constraints/nary/cnf/PropFalse.java
choco-solver/src/main/java/solver/constraints/nary/cnf/PropSat.java
choco-solver/src/main/java/solver/constraints/nary/cnf/PropTrue.java
choco-solver/src/main/java/solver/constraints/nary/cnf/SatConstraint.java
choco-solver/src/main/java/solver/constraints/nary/cnf/SatSolver.java
choco-solver/src/main/java/solver/constraints/nary/count/Count.java
choco-solver/src/main/java/solver/constraints/nary/count/PropCount_AC.java
choco-solver/src/main/java/solver/constraints/nary/cumulative/PropIncrementalCumulative.java
choco-solver/src/main/java/solver/constraints/nary/element/Element.java
choco-solver/src/main/java/solver/constraints/nary/element/PropElementV_fast.java
choco-solver/src/main/java/solver/constraints/nary/globalcardinality/GlobalCardinality.java
choco-solver/src/main/java/solver/constraints/nary/globalcardinality/PropFastGCC.java
choco-solver/src/main/java/solver/constraints/nary/lex/Lex.java
choco-solver/src/main/java/solver/constraints/nary/lex/LexChain.java
choco-solver/src/main/java/solver/constraints/nary/lex/PropLex.java
choco-solver/src/main/java/solver/constraints/nary/lex/PropLexChain.java
choco-solver/src/main/java/solver/constraints/nary/min_max/MaxOfAList.java
choco-solver/src/main/java/solver/constraints/nary/min_max/MinOfAList.java
choco-solver/src/main/java/solver/constraints/nary/min_max/PropMaxOfAList.java
choco-solver/src/main/java/solver/constraints/nary/min_max/PropMinOfAList.java
choco-solver/src/main/java/solver/constraints/nary/nValue/AMNV_Gci_MD_R13.java
choco-solver/src/main/java/solver/constraints/nary/nValue/AMNV_Gci_R_R13.java
choco-solver/src/main/java/solver/constraints/nary/nValue/Differences.java
choco-solver/src/main/java/solver/constraints/nary/nValue/NValues.java
choco-solver/src/main/java/solver/constraints/nary/nValue/PropAtLeastNValues_AC.java
choco-solver/src/main/java/solver/constraints/nary/nValue/PropAtMostNValues_BC.java
choco-solver/src/main/java/solver/constraints/nary/nValue/PropNValues_Light.java
choco-solver/src/main/java/solver/constraints/nary/nogood/INogood.java
choco-solver/src/main/java/solver/constraints/nary/nogood/Nogood.java
choco-solver/src/main/java/solver/constraints/nary/nogood/NogoodStoreForRestarts.java
choco-solver/src/main/java/solver/constraints/nary/nogood/PropNogoodStore.java
choco-solver/src/main/java/solver/constraints/nary/nogood/UnitNogood.java
choco-solver/src/main/java/solver/constraints/nary/sum/PropBoolSum.java
choco-solver/src/main/java/solver/constraints/nary/sum/PropScalarEq.java
choco-solver/src/main/java/solver/constraints/nary/sum/PropSumEq.java
choco-solver/src/main/java/solver/constraints/nary/sum/Scalar.java
choco-solver/src/main/java/solver/constraints/nary/sum/Sum.java
choco-solver/src/main/java/solver/constraints/nary/tree/PropAntiArborescences.java
choco-solver/src/main/java/solver/constraints/nary/tree/PropKLoops.java
choco-solver/src/main/java/solver/constraints/real/Ibex.java
choco-solver/src/main/java/solver/constraints/real/RealConstraint.java
choco-solver/src/main/java/solver/constraints/real/RealPropagator.java
choco-solver/src/main/java/solver/constraints/reification/DefaultOpposite.java
choco-solver/src/main/java/solver/constraints/reification/PropReif.java
choco-solver/src/main/java/solver/constraints/set/PropAllDiff.java
choco-solver/src/main/java/solver/constraints/set/PropAllDisjoint.java
choco-solver/src/main/java/solver/constraints/set/PropAllEqual.java
choco-solver/src/main/java/solver/constraints/set/PropAtMost1Empty.java
choco-solver/src/main/java/solver/constraints/set/PropBoolChannel.java
choco-solver/src/main/java/solver/constraints/set/PropCardinality.java
choco-solver/src/main/java/solver/constraints/set/PropElement.java
choco-solver/src/main/java/solver/constraints/set/PropGraphChannel.java
choco-solver/src/main/java/solver/constraints/set/PropIntChannel.java
choco-solver/src/main/java/solver/constraints/set/PropIntMemberSet.java
choco-solver/src/main/java/solver/constraints/set/PropIntersection.java
choco-solver/src/main/java/solver/constraints/set/PropInverse.java
choco-solver/src/main/java/solver/constraints/set/PropMaxElement.java
choco-solver/src/main/java/solver/constraints/set/PropMinElement.java
choco-solver/src/main/java/solver/constraints/set/PropNbEmpty.java
choco-solver/src/main/java/solver/constraints/set/PropNotEmpty.java
choco-solver/src/main/java/solver/constraints/set/PropOffSet.java
choco-solver/src/main/java/solver/constraints/set/PropSubsetEq.java
choco-solver/src/main/java/solver/constraints/set/PropSumOfElements.java
choco-solver/src/main/java/solver/constraints/set/PropSymmetric.java
choco-solver/src/main/java/solver/constraints/set/PropUnion.java
choco-solver/src/main/java/solver/constraints/set/SCF.java
choco-solver/src/main/java/solver/constraints/set/SetConstraintsFactory.java
choco-solver/src/main/java/solver/constraints/ternary/DistanceXYZ.java
choco-solver/src/main/java/solver/constraints/ternary/DivXYZ.java
choco-solver/src/main/java/solver/constraints/ternary/Max.java
choco-solver/src/main/java/solver/constraints/ternary/Min.java
choco-solver/src/main/java/solver/constraints/ternary/ModXYZ.java
choco-solver/src/main/java/solver/constraints/ternary/PropDistanceXYZ.java
choco-solver/src/main/java/solver/constraints/ternary/PropDivXYZ.java
choco-solver/src/main/java/solver/constraints/ternary/PropMaxBC.java
choco-solver/src/main/java/solver/constraints/ternary/PropMinBC.java
choco-solver/src/main/java/solver/constraints/ternary/PropTimesNaive.java
choco-solver/src/main/java/solver/constraints/ternary/PropTimesXY.java
choco-solver/src/main/java/solver/constraints/ternary/PropTimesZ.java
choco-solver/src/main/java/solver/constraints/ternary/Times.java
choco-solver/src/main/java/solver/constraints/unary/Member.java
choco-solver/src/main/java/solver/constraints/unary/NotMember.java
choco-solver/src/main/java/solver/constraints/unary/PropEqualXC.java
choco-solver/src/main/java/solver/constraints/unary/PropGreaterOrEqualXC.java
choco-solver/src/main/java/solver/constraints/unary/PropLessOrEqualXC.java
choco-solver/src/main/java/solver/constraints/unary/PropMemberBound.java
choco-solver/src/main/java/solver/constraints/unary/PropMemberEnum.java
choco-solver/src/main/java/solver/constraints/unary/PropNotEqualXC.java
choco-solver/src/main/java/solver/constraints/unary/PropNotMemberBound.java
choco-solver/src/main/java/solver/constraints/unary/PropNotMemberEnum.java
choco-solver/src/main/java/solver/exception/ContradictionException.java
choco-solver/src/main/java/solver/exception/SolverException.java
choco-solver/src/main/java/solver/explanations/BranchingDecision.java
choco-solver/src/main/java/solver/explanations/Deduction.java
choco-solver/src/main/java/solver/explanations/Explanation.java
choco-solver/src/main/java/solver/explanations/ExplanationEngine.java
choco-solver/src/main/java/solver/explanations/ExplanationFactory.java
choco-solver/src/main/java/solver/explanations/FlattenedRecorderExplanationEngine.java
choco-solver/src/main/java/solver/explanations/IExplanationMonitor.java
choco-solver/src/main/java/solver/explanations/LazyExplanationEngine.java
choco-solver/src/main/java/solver/explanations/PropagatorActivation.java
choco-solver/src/main/java/solver/explanations/RecorderExplanationEngine.java
choco-solver/src/main/java/solver/explanations/ValueRemoval.java
choco-solver/src/main/java/solver/explanations/VariableState.java
choco-solver/src/main/java/solver/explanations/antidom/AntiDomBitset.java
choco-solver/src/main/java/solver/explanations/antidom/AntiDomBool.java
choco-solver/src/main/java/solver/explanations/antidom/AntiDomInterval.java
choco-solver/src/main/java/solver/explanations/antidom/AntiDomain.java
choco-solver/src/main/java/solver/explanations/strategies/ConflictBasedBackjumping.java
choco-solver/src/main/java/solver/explanations/strategies/DecisionsSet.java
choco-solver/src/main/java/solver/explanations/strategies/ExplainingCut.java
choco-solver/src/main/java/solver/explanations/strategies/ExplainingObjective.java
choco-solver/src/main/java/solver/explanations/strategies/ExplanationToolbox.java
choco-solver/src/main/java/solver/explanations/strategies/IDecisionJumper.java
choco-solver/src/main/java/solver/explanations/strategies/IDynamicBacktrackingAlgorithm.java
choco-solver/src/main/java/solver/explanations/strategies/PGN4Explanation.java
choco-solver/src/main/java/solver/explanations/strategies/PathRepair.java
choco-solver/src/main/java/solver/explanations/strategies/RPGN4Explanation.java
choco-solver/src/main/java/solver/explanations/strategies/RandomNeighborhood4Explanation.java
choco-solver/src/main/java/solver/explanations/strategies/jumper/MaximumDomainSizeJumper.java
choco-solver/src/main/java/solver/explanations/strategies/jumper/MostRecentWorldJumper.java
choco-solver/src/main/java/solver/explanations/strategies/jumper/RandomDecisionJumper.java
choco-solver/src/main/java/solver/objective/IntObjectiveManager.java
choco-solver/src/main/java/solver/objective/ObjectiveManager.java
choco-solver/src/main/java/solver/objective/ObjectiveStrategy.java
choco-solver/src/main/java/solver/objective/OptimizationPolicy.java
choco-solver/src/main/java/solver/objective/RealObjectiveManager.java
choco-solver/src/main/java/solver/package.html
choco-solver/src/main/java/solver/propagation/DSLEngine.java
choco-solver/src/main/java/solver/propagation/IExecutable.java
choco-solver/src/main/java/solver/propagation/IPriority.java
choco-solver/src/main/java/solver/propagation/IPropagationEngine.java
choco-solver/src/main/java/solver/propagation/IPropagationStrategy.java
choco-solver/src/main/java/solver/propagation/IQueable.java
choco-solver/src/main/java/solver/propagation/ISchedulable.java
choco-solver/src/main/java/solver/propagation/IScheduler.java
choco-solver/src/main/java/solver/propagation/NoPropagationEngine.java
choco-solver/src/main/java/solver/propagation/PropagationEngineFactory.java
choco-solver/src/main/java/solver/propagation/PropagationTrigger.java
choco-solver/src/main/java/solver/propagation/generator/Arc.java
choco-solver/src/main/java/solver/propagation/generator/Generator.java
choco-solver/src/main/java/solver/propagation/generator/IEvaluator.java
choco-solver/src/main/java/solver/propagation/generator/PropagationStrategy.java
choco-solver/src/main/java/solver/propagation/generator/Queue.java
choco-solver/src/main/java/solver/propagation/generator/Sort.java
choco-solver/src/main/java/solver/propagation/generator/SortDyn.java
choco-solver/src/main/java/solver/propagation/generator/Switcher.java
choco-solver/src/main/java/solver/propagation/hardcoded/FakeEngine.java
choco-solver/src/main/java/solver/propagation/hardcoded/PropagatorEngine.java
choco-solver/src/main/java/solver/propagation/hardcoded/SevenQueuesPropagatorEngine.java
choco-solver/src/main/java/solver/propagation/hardcoded/VariableEngine.java
choco-solver/src/main/java/solver/propagation/hardcoded/util/AId2AbId.java
choco-solver/src/main/java/solver/propagation/hardcoded/util/IId2AbId.java
choco-solver/src/main/java/solver/propagation/hardcoded/util/MId2AbId.java
choco-solver/src/main/java/solver/propagation/queues/AQueue.java
choco-solver/src/main/java/solver/propagation/queues/BinaryTreeHeap.java
choco-solver/src/main/java/solver/propagation/queues/CircularQueue.java
choco-solver/src/main/java/solver/propagation/queues/DoubleMinHeap.java
choco-solver/src/main/java/solver/propagation/queues/IHeap.java
choco-solver/src/main/java/solver/propagation/queues/LinkedList.java
choco-solver/src/main/java/solver/propagation/queues/MinHeap.java
choco-solver/src/main/java/solver/search/limits/ACounter.java
choco-solver/src/main/java/solver/search/limits/ActionCounterFactory.java
choco-solver/src/main/java/solver/search/limits/BacktrackCounter.java
choco-solver/src/main/java/solver/search/limits/FailCounter.java
choco-solver/src/main/java/solver/search/limits/ICounter.java
choco-solver/src/main/java/solver/search/limits/ICounterAction.java
choco-solver/src/main/java/solver/search/limits/NodeCounter.java
choco-solver/src/main/java/solver/search/limits/SolutionCounter.java
choco-solver/src/main/java/solver/search/limits/ThreadTimeCounter.java
choco-solver/src/main/java/solver/search/limits/TimeCounter.java
choco-solver/src/main/java/solver/search/loop/AbstractSearchLoop.java
choco-solver/src/main/java/solver/search/loop/BinarySearchLoop.java
choco-solver/src/main/java/solver/search/loop/ISearchLoop.java
choco-solver/src/main/java/solver/search/loop/Reporting.java
choco-solver/src/main/java/solver/search/loop/SearchLoops.java
choco-solver/src/main/java/solver/search/loop/lns/LNSFactory.java
choco-solver/src/main/java/solver/search/loop/lns/LargeNeighborhoodSearch.java
choco-solver/src/main/java/solver/search/loop/lns/neighbors/ANeighbor.java
choco-solver/src/main/java/solver/search/loop/lns/neighbors/ActivityBasedNeighborhood.java
choco-solver/src/main/java/solver/search/loop/lns/neighbors/AdaptiveNeighborhood.java
choco-solver/src/main/java/solver/search/loop/lns/neighbors/INeighbor.java
choco-solver/src/main/java/solver/search/loop/lns/neighbors/PropagationGuidedNeighborhood.java
choco-solver/src/main/java/solver/search/loop/lns/neighbors/RandomNeighborhood.java
choco-solver/src/main/java/solver/search/loop/lns/neighbors/ReversePropagationGuidedNeighborhood.java
choco-solver/src/main/java/solver/search/loop/lns/neighbors/SequenceNeighborhood.java
choco-solver/src/main/java/solver/search/loop/monitors/AverageCSV.java
choco-solver/src/main/java/solver/search/loop/monitors/FailPerPropagator.java
choco-solver/src/main/java/solver/search/loop/monitors/IMessage.java
choco-solver/src/main/java/solver/search/loop/monitors/IMonitorClose.java
choco-solver/src/main/java/solver/search/loop/monitors/IMonitorContradiction.java
choco-solver/src/main/java/solver/search/loop/monitors/IMonitorDownBranch.java
choco-solver/src/main/java/solver/search/loop/monitors/IMonitorInitPropagation.java
choco-solver/src/main/java/solver/search/loop/monitors/IMonitorInitialize.java
choco-solver/src/main/java/solver/search/loop/monitors/IMonitorInterruption.java
choco-solver/src/main/java/solver/search/loop/monitors/IMonitorOpenNode.java
choco-solver/src/main/java/solver/search/loop/monitors/IMonitorRestart.java
choco-solver/src/main/java/solver/search/loop/monitors/IMonitorSolution.java
choco-solver/src/main/java/solver/search/loop/monitors/IMonitorUpBranch.java
choco-solver/src/main/java/solver/search/loop/monitors/ISearchMonitor.java
choco-solver/src/main/java/solver/search/loop/monitors/LogBasic.java
choco-solver/src/main/java/solver/search/loop/monitors/LogChoices.java
choco-solver/src/main/java/solver/search/loop/monitors/LogChoicesWithRank.java
choco-solver/src/main/java/solver/search/loop/monitors/LogContradiction.java
choco-solver/src/main/java/solver/search/loop/monitors/LogEventCount.java
choco-solver/src/main/java/solver/search/loop/monitors/LogPropagationCount.java
choco-solver/src/main/java/solver/search/loop/monitors/LogSolutions.java
choco-solver/src/main/java/solver/search/loop/monitors/LogStatEveryXXms.java
choco-solver/src/main/java/solver/search/loop/monitors/MatrixOutput.java
choco-solver/src/main/java/solver/search/loop/monitors/OutputCSV.java
choco-solver/src/main/java/solver/search/loop/monitors/RestartManager.java
choco-solver/src/main/java/solver/search/loop/monitors/SMF.java
choco-solver/src/main/java/solver/search/loop/monitors/SearchMonitorFactory.java
choco-solver/src/main/java/solver/search/loop/monitors/SearchMonitorList.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/CPVizConstant.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/Show.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/Visualization.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/Visualizer.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/visualizers/AllDifferent.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/visualizers/AllDifferentMatrix.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/visualizers/BinPacking.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/visualizers/BinaryMatrix.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/visualizers/BinaryVector.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/visualizers/BoolChanneling.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/visualizers/Cumulative.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/visualizers/DomainMatrix.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/visualizers/Element.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/visualizers/Gcc.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/visualizers/Inverse.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/visualizers/LexLe.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/visualizers/LexLt.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/visualizers/Vector.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/visualizers/VectorSize.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/visualizers/VectorWaterfall.java
choco-solver/src/main/java/solver/search/loop/monitors/cpviz/visualizers/Writer.java
choco-solver/src/main/java/solver/search/measure/IMeasures.java
choco-solver/src/main/java/solver/search/measure/MeasuresRecorder.java
choco-solver/src/main/java/solver/search/restart/AbstractRestartStrategy.java
choco-solver/src/main/java/solver/search/restart/GeometricalRestartStrategy.java
choco-solver/src/main/java/solver/search/restart/IRestartStrategy.java
choco-solver/src/main/java/solver/search/restart/LubyRestartStrategy.java
choco-solver/src/main/java/solver/search/solution/AllSolutionsRecorder.java
choco-solver/src/main/java/solver/search/solution/ISolutionRecorder.java
choco-solver/src/main/java/solver/search/solution/LastSolutionRecorder.java
choco-solver/src/main/java/solver/search/solution/Solution.java
choco-solver/src/main/java/solver/search/strategy/GraphStrategyFactory.java
choco-solver/src/main/java/solver/search/strategy/ISF.java
choco-solver/src/main/java/solver/search/strategy/IntStrategyFactory.java
choco-solver/src/main/java/solver/search/strategy/SetStrategyFactory.java
choco-solver/src/main/java/solver/search/strategy/assignments/DecisionOperator.java
choco-solver/src/main/java/solver/search/strategy/assignments/GraphAssignment.java
choco-solver/src/main/java/solver/search/strategy/decision/Decision.java
choco-solver/src/main/java/solver/search/strategy/decision/RootDecision.java
choco-solver/src/main/java/solver/search/strategy/decision/fast/FastDecision.java
choco-solver/src/main/java/solver/search/strategy/decision/fast/FastDecisionReal.java
choco-solver/src/main/java/solver/search/strategy/decision/fast/FastDecisionSet.java
choco-solver/src/main/java/solver/search/strategy/decision/graph/GraphDecision.java
choco-solver/src/main/java/solver/search/strategy/selectors/InValueIterator.java
choco-solver/src/main/java/solver/search/strategy/selectors/RealValueIterator.java
choco-solver/src/main/java/solver/search/strategy/selectors/VariableSelector.java
choco-solver/src/main/java/solver/search/strategy/selectors/graph/arcs/LexArc.java
choco-solver/src/main/java/solver/search/strategy/selectors/graph/arcs/RandomArc.java
choco-solver/src/main/java/solver/search/strategy/selectors/graph/nodes/LexNode.java
choco-solver/src/main/java/solver/search/strategy/selectors/graph/nodes/RandomNode.java
choco-solver/src/main/java/solver/search/strategy/selectors/values/InDomainMax.java
choco-solver/src/main/java/solver/search/strategy/selectors/values/InDomainMedian.java
choco-solver/src/main/java/solver/search/strategy/selectors/values/InDomainMiddle.java
choco-solver/src/main/java/solver/search/strategy/selectors/values/InDomainMin.java
choco-solver/src/main/java/solver/search/strategy/selectors/values/InDomainRandom.java
choco-solver/src/main/java/solver/search/strategy/selectors/values/RealDomainMiddle.java
choco-solver/src/main/java/solver/search/strategy/selectors/variables/ActivityBased.java
choco-solver/src/main/java/solver/search/strategy/selectors/variables/AntiFirstFail.java
choco-solver/src/main/java/solver/search/strategy/selectors/variables/Cyclic.java
choco-solver/src/main/java/solver/search/strategy/selectors/variables/DomOverWDeg.java
choco-solver/src/main/java/solver/search/strategy/selectors/variables/FirstFail.java
choco-solver/src/main/java/solver/search/strategy/selectors/variables/ImpactBased.java
choco-solver/src/main/java/solver/search/strategy/selectors/variables/InputOrder.java
choco-solver/src/main/java/solver/search/strategy/selectors/variables/Largest.java
choco-solver/src/main/java/solver/search/strategy/selectors/variables/MaxRegret.java
choco-solver/src/main/java/solver/search/strategy/selectors/variables/MostConstrained.java
choco-solver/src/main/java/solver/search/strategy/selectors/variables/None.java
choco-solver/src/main/java/solver/search/strategy/selectors/variables/Occurrence.java
choco-solver/src/main/java/solver/search/strategy/selectors/variables/Random.java
choco-solver/src/main/java/solver/search/strategy/selectors/variables/Smallest.java
choco-solver/src/main/java/solver/search/strategy/strategy/AbstractStrategy.java
choco-solver/src/main/java/solver/search/strategy/strategy/Assignment.java
choco-solver/src/main/java/solver/search/strategy/strategy/AssignmentInterval.java
choco-solver/src/main/java/solver/search/strategy/strategy/IDecisionComputer.java
choco-solver/src/main/java/solver/search/strategy/strategy/LastConflict.java
choco-solver/src/main/java/solver/search/strategy/strategy/LastConflict_old.java
choco-solver/src/main/java/solver/search/strategy/strategy/Once.java
choco-solver/src/main/java/solver/search/strategy/strategy/StrategiesSequencer.java
choco-solver/src/main/java/solver/search/strategy/strategy/graph/ArcStrategy.java
choco-solver/src/main/java/solver/search/strategy/strategy/graph/GraphStrategies.java
choco-solver/src/main/java/solver/search/strategy/strategy/graph/GraphStrategy.java
choco-solver/src/main/java/solver/search/strategy/strategy/graph/NodeStrategy.java
choco-solver/src/main/java/solver/search/strategy/strategy/set/SetSearchStrategy.java
choco-solver/src/main/java/solver/thread/AbstractParallelMaster.java
choco-solver/src/main/java/solver/thread/AbstractParallelSlave.java
choco-solver/src/main/java/solver/thread/ThreadSolver.java
choco-solver/src/main/java/solver/variables/AbstractVariable.java
choco-solver/src/main/java/solver/variables/BoolVar.java
choco-solver/src/main/java/solver/variables/EventType.java
choco-solver/src/main/java/solver/variables/IVariableMonitor.java
choco-solver/src/main/java/solver/variables/IntVar.java
choco-solver/src/main/java/solver/variables/RealVar.java
choco-solver/src/main/java/solver/variables/RealVarImpl.java
choco-solver/src/main/java/solver/variables/SetVar.java
choco-solver/src/main/java/solver/variables/SetVarImpl.java
choco-solver/src/main/java/solver/variables/Task.java
choco-solver/src/main/java/solver/variables/VF.java
choco-solver/src/main/java/solver/variables/Variable.java
choco-solver/src/main/java/solver/variables/VariableFactory.java
choco-solver/src/main/java/solver/variables/delta/EnumDelta.java
choco-solver/src/main/java/solver/variables/delta/GraphDelta.java
choco-solver/src/main/java/solver/variables/delta/IDelta.java
choco-solver/src/main/java/solver/variables/delta/IDeltaMonitor.java
choco-solver/src/main/java/solver/variables/delta/IEnumDelta.java
choco-solver/src/main/java/solver/variables/delta/IGraphDelta.java
choco-solver/src/main/java/solver/variables/delta/IGraphDeltaMonitor.java
choco-solver/src/main/java/solver/variables/delta/IIntDeltaMonitor.java
choco-solver/src/main/java/solver/variables/delta/IIntervalDelta.java
choco-solver/src/main/java/solver/variables/delta/IntDelta.java
choco-solver/src/main/java/solver/variables/delta/IntervalDelta.java
choco-solver/src/main/java/solver/variables/delta/NoDelta.java
choco-solver/src/main/java/solver/variables/delta/OneValueDelta.java
choco-solver/src/main/java/solver/variables/delta/SetDelta.java
choco-solver/src/main/java/solver/variables/delta/monitor/EnumDeltaMonitor.java
choco-solver/src/main/java/solver/variables/delta/monitor/GraphDeltaMonitor.java
choco-solver/src/main/java/solver/variables/delta/monitor/IntervalDeltaMonitor.java
choco-solver/src/main/java/solver/variables/delta/monitor/OneValueDeltaMonitor.java
choco-solver/src/main/java/solver/variables/delta/monitor/SetDeltaMonitor.java
choco-solver/src/main/java/solver/variables/domain/CsteDomain.java
choco-solver/src/main/java/solver/variables/domain/IIntDomain.java
choco-solver/src/main/java/solver/variables/fast/BitsetArrayIntVarImpl.java
choco-solver/src/main/java/solver/variables/fast/BitsetIntVarImpl.java
choco-solver/src/main/java/solver/variables/fast/BooleanBoolVarImpl.java
choco-solver/src/main/java/solver/variables/fast/IntervalIntVarImpl.java
choco-solver/src/main/java/solver/variables/graph/DirectedGraphVar.java
choco-solver/src/main/java/solver/variables/graph/GraphVar.java
choco-solver/src/main/java/solver/variables/graph/UndirectedGraphVar.java
choco-solver/src/main/java/solver/variables/view/BoolConstantView.java
choco-solver/src/main/java/solver/variables/view/BoolEqView.java
choco-solver/src/main/java/solver/variables/view/BoolNotView.java
choco-solver/src/main/java/solver/variables/view/ConstantView.java
choco-solver/src/main/java/solver/variables/view/EqView.java
choco-solver/src/main/java/solver/variables/view/IView.java
choco-solver/src/main/java/solver/variables/view/IntView.java
choco-solver/src/main/java/solver/variables/view/MinusView.java
choco-solver/src/main/java/solver/variables/view/OffsetView.java
choco-solver/src/main/java/solver/variables/view/RealView.java
choco-solver/src/main/java/solver/variables/view/ScaleView.java
choco-solver/src/main/java/solver/variables/view/ViewDeltaMonitor.java
choco-solver/src/main/java/util/ESat.java
choco-solver/src/main/java/util/IndexFactory.java
choco-solver/src/main/java/util/Indexable.java
choco-solver/src/main/java/util/MultiDimensionIndex.java
choco-solver/src/main/java/util/PoolManager.java
choco-solver/src/main/java/util/VariableUtilities.java
choco-solver/src/main/java/util/graphOperations/GraphTools.java
choco-solver/src/main/java/util/graphOperations/connectivity/ConnectivityFinder.java
choco-solver/src/main/java/util/graphOperations/connectivity/StrongConnectivityFinder.java
choco-solver/src/main/java/util/graphOperations/dominance/AbstractLengauerTarjanDominatorsFinder.java
choco-solver/src/main/java/util/graphOperations/dominance/AlphaDominatorsFinder.java
choco-solver/src/main/java/util/graphOperations/dominance/BitOperations.java
choco-solver/src/main/java/util/graphOperations/dominance/LCAGraphManager.java
choco-solver/src/main/java/util/graphOperations/dominance/SimpleDominatorsFinder.java
choco-solver/src/main/java/util/iterators/AppendIterator.java
choco-solver/src/main/java/util/iterators/ArrayIterator.java
choco-solver/src/main/java/util/iterators/BoundedIntIterator.java
choco-solver/src/main/java/util/iterators/CacheIntIterator.java
choco-solver/src/main/java/util/iterators/Disposable.java
choco-solver/src/main/java/util/iterators/DisposableIntIterator.java
choco-solver/src/main/java/util/iterators/DisposableIterator.java
choco-solver/src/main/java/util/iterators/DisposableRangeBoundIterator.java
choco-solver/src/main/java/util/iterators/DisposableRangeIterator.java
choco-solver/src/main/java/util/iterators/DisposableValueBoundIterator.java
choco-solver/src/main/java/util/iterators/DisposableValueIterator.java
choco-solver/src/main/java/util/iterators/EmptyIterator.java
choco-solver/src/main/java/util/iterators/ImmutableListIterator.java
choco-solver/src/main/java/util/iterators/IntIterator.java
choco-solver/src/main/java/util/iterators/MultipleIterators.java
choco-solver/src/main/java/util/iterators/RangeIterator.java
choco-solver/src/main/java/util/iterators/SingleElementIterator.java
choco-solver/src/main/java/util/iterators/ValueIterator.java
choco-solver/src/main/java/util/objects/BacktrackableArrayList.java
choco-solver/src/main/java/util/objects/Bitset32b.java
choco-solver/src/main/java/util/objects/Bitset64b.java
choco-solver/src/main/java/util/objects/Bitset64n.java
choco-solver/src/main/java/util/objects/BitsetFactory.java
choco-solver/src/main/java/util/objects/DeterministicIndicedList.java
choco-solver/src/main/java/util/objects/HalfBactrackableList.java
choco-solver/src/main/java/util/objects/IBitset.java
choco-solver/src/main/java/util/objects/IList.java
choco-solver/src/main/java/util/objects/IntCircularQueue.java
choco-solver/src/main/java/util/objects/StoredIndexedBipartiteSet.java
choco-solver/src/main/java/util/objects/StoredIndexedBipartiteSetWithOffset.java
choco-solver/src/main/java/util/objects/graphs/DirectedGraph.java
choco-solver/src/main/java/util/objects/graphs/IGraph.java
choco-solver/src/main/java/util/objects/graphs/Orientation.java
choco-solver/src/main/java/util/objects/graphs/UndirectedGraph.java
choco-solver/src/main/java/util/objects/setDataStructures/ISet.java
choco-solver/src/main/java/util/objects/setDataStructures/SetFactory.java
choco-solver/src/main/java/util/objects/setDataStructures/SetType.java
choco-solver/src/main/java/util/objects/setDataStructures/Set_Copy.java
choco-solver/src/main/java/util/objects/setDataStructures/Set_Full.java
choco-solver/src/main/java/util/objects/setDataStructures/Set_Std_BitSet.java
choco-solver/src/main/java/util/objects/setDataStructures/Set_Trail.java
choco-solver/src/main/java/util/objects/setDataStructures/linkedlist/IntCell.java
choco-solver/src/main/java/util/objects/setDataStructures/linkedlist/Set_2LinkedList.java
choco-solver/src/main/java/util/objects/setDataStructures/linkedlist/Set_LinkedList.java
choco-solver/src/main/java/util/objects/setDataStructures/linkedlist/Set_Std_2LinkedList.java
choco-solver/src/main/java/util/objects/setDataStructures/linkedlist/Set_Std_LinkedList.java
choco-solver/src/main/java/util/objects/setDataStructures/matrix/Set_Array.java
choco-solver/src/main/java/util/objects/setDataStructures/matrix/Set_BitSet.java
choco-solver/src/main/java/util/objects/setDataStructures/matrix/Set_Std_Array.java
choco-solver/src/main/java/util/objects/setDataStructures/swapList/Set_Std_Swap_Array.java
choco-solver/src/main/java/util/objects/setDataStructures/swapList/Set_Std_Swap_Hash.java
choco-solver/src/main/java/util/objects/setDataStructures/swapList/Set_Swap.java
choco-solver/src/main/java/util/objects/setDataStructures/swapList/Set_Swap_Array.java
choco-solver/src/main/java/util/objects/setDataStructures/swapList/Set_Swap_Hash.java
choco-solver/src/main/java/util/package.html
choco-solver/src/main/java/util/procedure/BinaryIntProcedure.java
choco-solver/src/main/java/util/procedure/BinaryProcedure.java
choco-solver/src/main/java/util/procedure/IntProcedure.java
choco-solver/src/main/java/util/procedure/PairProcedure.java
choco-solver/src/main/java/util/procedure/Procedure.java
choco-solver/src/main/java/util/procedure/SafeIntProcedure.java
choco-solver/src/main/java/util/procedure/TernaryIntProcedure.java
choco-solver/src/main/java/util/procedure/TernaryProcedure.java
choco-solver/src/main/java/util/procedure/UnaryIntProcedure.java
choco-solver/src/main/java/util/procedure/UnaryProcedure.java
choco-solver/src/main/java/util/procedure/UnarySafeIntProcedure.java
choco-solver/src/main/java/util/tools/ArrayUtils.java
choco-solver/src/main/java/util/tools/MathUtils.java
choco-solver/src/main/java/util/tools/StatisticUtils.java
choco-solver/src/main/java/util/tools/StringUtils.java
choco-solver/src/main/resources/configuration.properties
choco-solver/src/main/resources/logback.xml
choco-solver/src/test/java/choco/AllDifferentTest.java
choco-solver/src/test/java/choco/ClauseTest.java
choco-solver/src/test/java/choco/IntLinCombTest.java
choco-solver/src/test/java/choco/LimitsTest.java
choco-solver/src/test/java/choco/LogicTreeTest.java
choco-solver/src/test/java/choco/NotEqualX_YCTest.java
choco-solver/src/test/java/choco/ReifiedTest.java
choco-solver/src/test/java/choco/SolverTest.java
choco-solver/src/test/java/choco/TestSolveur.java
choco-solver/src/test/java/choco/checker/DomainBuilder.java
choco-solver/src/test/java/choco/checker/Modeler.java
choco-solver/src/test/java/choco/checker/consistency/ConsistencyChecker.java
choco-solver/src/test/java/choco/checker/consistency/TestConsistency.java
choco-solver/src/test/java/choco/checker/consistency/TestConsistencyFactory.java
choco-solver/src/test/java/choco/checker/correctness/CorrectnessChecker.java
choco-solver/src/test/java/choco/checker/correctness/TestCorrectness.java
choco-solver/src/test/java/choco/checker/correctness/TestCorrectnessFactory.java
choco-solver/src/test/java/choco/checker/fmk/Correctness.java
choco-solver/src/test/java/choco/checker/fmk/Domain.java
choco-solver/src/test/java/choco/checker/fmk/Model.java
choco-solver/src/test/java/choco/checker/fmk/Test_Bools_Sets.java
choco-solver/src/test/java/choco/explanations/EqualXYCExplTest.java
choco-solver/src/test/java/choco/explanations/SimpleExplanationTest.java
choco-solver/src/test/java/choco/propagation/event/DeltaTest.java
choco-solver/src/test/java/choco/propagation/thread/ThreadSolverTest.java
choco-solver/src/test/java/choco/serializable/SerializableTest.java
choco-solver/src/test/java/choco/strategy/StrategyTest.java
choco-solver/src/test/java/sandbox/ArnaudTest.java
choco-solver/src/test/java/sandbox/test.java
choco-solver/src/test/java/solver/constraints/DynamicPostTest.java
choco-solver/src/test/java/solver/constraints/DynamicPostTestFactory.java
choco-solver/src/test/java/solver/constraints/binary/AbstractBinaryTest.java
choco-solver/src/test/java/solver/constraints/binary/DistanceEQTest.java
choco-solver/src/test/java/solver/constraints/binary/DistanceGTTest.java
choco-solver/src/test/java/solver/constraints/binary/DistanceLTTest.java
choco-solver/src/test/java/solver/constraints/binary/DistanceNQTest.java
choco-solver/src/test/java/solver/constraints/binary/DistanceTest.java
choco-solver/src/test/java/solver/constraints/binary/ElementTest.java
choco-solver/src/test/java/solver/constraints/binary/EqTest.java
choco-solver/src/test/java/solver/constraints/gary/ArborescenceTest.java
choco-solver/src/test/java/solver/constraints/gary/NTreeTest.java
choco-solver/src/test/java/solver/constraints/gary/PathTest.java
choco-solver/src/test/java/solver/constraints/nary/AmongTest.java
choco-solver/src/test/java/solver/constraints/nary/BottleneckTest.java
choco-solver/src/test/java/solver/constraints/nary/BoundGlobalCardinlityTest.java
choco-solver/src/test/java/solver/constraints/nary/CNFTest.java
choco-solver/src/test/java/solver/constraints/nary/CircuitTest.java
choco-solver/src/test/java/solver/constraints/nary/CostRegularTest.java
choco-solver/src/test/java/solver/constraints/nary/CountTest.java
choco-solver/src/test/java/solver/constraints/nary/GlobalCardinalityTest.java
choco-solver/src/test/java/solver/constraints/nary/LexChainTest.java
choco-solver/src/test/java/solver/constraints/nary/LexTest.java
choco-solver/src/test/java/solver/constraints/nary/MultiCostRegularTest.java
choco-solver/src/test/java/solver/constraints/nary/NogoodTest.java
choco-solver/src/test/java/solver/constraints/nary/RegularTest.java
choco-solver/src/test/java/solver/constraints/nary/SatTest.java
choco-solver/src/test/java/solver/constraints/nary/SubcircuitTest.java
choco-solver/src/test/java/solver/constraints/nary/SumTests.java
choco-solver/src/test/java/solver/constraints/real/RealTest.java
choco-solver/src/test/java/solver/constraints/ternary/AbstractTernaryTest.java
choco-solver/src/test/java/solver/constraints/ternary/DivTest.java
choco-solver/src/test/java/solver/constraints/ternary/MaxTest.java
choco-solver/src/test/java/solver/constraints/ternary/MinTest.java
choco-solver/src/test/java/solver/constraints/ternary/ModTest.java
choco-solver/src/test/java/solver/constraints/ternary/TimesTest.java
choco-solver/src/test/java/solver/constraints/unary/MemberTest.java
choco-solver/src/test/java/solver/explanations/AntiDomainTest.java
choco-solver/src/test/java/solver/propagation/PropEngineTest.java
choco-solver/src/test/java/solver/search/ObjectiveTest.java
choco-solver/src/test/java/solver/search/loop/CPVizTest.java
choco-solver/src/test/java/solver/search/loop/ELNSTest.java
choco-solver/src/test/java/solver/search/loop/LNSTest.java
choco-solver/src/test/java/solver/search/restart/RestartTest.java
choco-solver/src/test/java/solver/variables/BoolNotViewTest.java
choco-solver/src/test/java/solver/variables/IteratorTest.java
choco-solver/src/test/java/solver/variables/MaxViewTest.java
choco-solver/src/test/java/solver/variables/OffsetViewTest.java
choco-solver/src/test/java/solver/variables/ScaleViewTest.java
choco-solver/src/test/java/solver/variables/ViewMinusTest.java
choco-solver/src/test/java/solver/variables/ViewSumXYTest.java
choco-solver/src/test/java/solver/variables/ViewsTest.java
choco-solver/src/test/java/solver/variables/fast/BitsetIntVarImplTest.java
choco-solver/src/test/java/solver/variables/fast/IntervalIntVarImplTest.java
choco-solver/src/test/java/solver/variables/graph/StoredIntLinkedListTest.java
choco-solver/src/test/resources/logback-test.xml
choco-solver/src/test/resources/testng.xml
pom.xml
release-script.sh
release.sh
src/etc/header.txt
src/etc/old.xml