You can download choco-solver-3.3.0.jar in this page.
Open Source License
choco-solver-3.3.0.jar file has the following types.
META-INF/MANIFEST.MF META-INF/maven/org.choco-solver/choco-solver/pom.properties META-INF/maven/org.choco-solver/choco-solver/pom.xml org.chocosolver.memory.AbstractEnvironment.class org.chocosolver.memory.EnvironmentException.class org.chocosolver.memory.Environments.class org.chocosolver.memory.Except_0.class org.chocosolver.memory.ICondition.class org.chocosolver.memory.IEnvironment.class org.chocosolver.memory.IStateBitSet.class org.chocosolver.memory.IStateBool.class org.chocosolver.memory.IStateDouble.class org.chocosolver.memory.IStateDoubleVector.class org.chocosolver.memory.IStateInt.class org.chocosolver.memory.IStateIntVector.class org.chocosolver.memory.IStateLong.class org.chocosolver.memory.IStateObject.class org.chocosolver.memory.IStorage.class org.chocosolver.memory.copy.EnvironmentCopying.class org.chocosolver.memory.copy.RcBool.class org.chocosolver.memory.copy.RcDouble.class org.chocosolver.memory.copy.RcDoubleVector.class org.chocosolver.memory.copy.RcInt.class org.chocosolver.memory.copy.RcIntVector.class org.chocosolver.memory.copy.RcLong.class org.chocosolver.memory.copy.RcObject.class org.chocosolver.memory.copy.RecomputableElement.class org.chocosolver.memory.copy.store.IStoredBoolCopy.class org.chocosolver.memory.copy.store.IStoredDoubleCopy.class org.chocosolver.memory.copy.store.IStoredIntCopy.class org.chocosolver.memory.copy.store.IStoredLongCopy.class org.chocosolver.memory.copy.store.StoredBoolCopy.class org.chocosolver.memory.copy.store.StoredDoubleCopy.class org.chocosolver.memory.copy.store.StoredDoubleVectorCopy.class org.chocosolver.memory.copy.store.StoredIntCopy.class org.chocosolver.memory.copy.store.StoredIntVectorCopy.class org.chocosolver.memory.copy.store.StoredLongCopy.class org.chocosolver.memory.copy.store.StoredObjectCopy.class org.chocosolver.memory.copy.store.StoredOperationCopy.class org.chocosolver.memory.generator.CodeGenerator.class org.chocosolver.memory.structure.BasicIndexedBipartiteSet.class org.chocosolver.memory.structure.IndexedBipartiteSet.class org.chocosolver.memory.structure.IndexedObject.class org.chocosolver.memory.structure.OneWordS32BitSet.class org.chocosolver.memory.structure.OneWordS64BitSet.class org.chocosolver.memory.structure.Operation.class org.chocosolver.memory.structure.S64BitSet.class org.chocosolver.memory.trailing.AbstractStoredObject.class org.chocosolver.memory.trailing.EnvironmentTrailing.class org.chocosolver.memory.trailing.StoredBool.class org.chocosolver.memory.trailing.StoredDouble.class org.chocosolver.memory.trailing.StoredDoubleVector.class org.chocosolver.memory.trailing.StoredInt.class org.chocosolver.memory.trailing.StoredIntVector.class org.chocosolver.memory.trailing.StoredLong.class org.chocosolver.memory.trailing.trail.IOperationTrail.class org.chocosolver.memory.trailing.trail.IStoredBoolTrail.class org.chocosolver.memory.trailing.trail.IStoredDoubleTrail.class org.chocosolver.memory.trailing.trail.IStoredIntTrail.class org.chocosolver.memory.trailing.trail.IStoredLongTrail.class org.chocosolver.memory.trailing.trail.ITrailStorage.class org.chocosolver.memory.trailing.trail.StoredDoubleVectorTrail.class org.chocosolver.memory.trailing.trail.StoredIntVectorTrail.class org.chocosolver.memory.trailing.trail.chunck.OperationChunckTrail.class org.chocosolver.memory.trailing.trail.chunck.StoredBoolChunckTrail.class org.chocosolver.memory.trailing.trail.chunck.StoredDoubleChunckTrail.class org.chocosolver.memory.trailing.trail.chunck.StoredIntChunckTrail.class org.chocosolver.memory.trailing.trail.chunck.StoredLongChunckTrail.class org.chocosolver.memory.trailing.trail.flatten.OperationTrail.class org.chocosolver.memory.trailing.trail.flatten.StoredBoolTrail.class org.chocosolver.memory.trailing.trail.flatten.StoredDoubleTrail.class org.chocosolver.memory.trailing.trail.flatten.StoredIntTrail.class org.chocosolver.memory.trailing.trail.flatten.StoredLongTrail.class org.chocosolver.memory.trailing.trail.unsafe.UnsafeBoolTrail.class org.chocosolver.memory.trailing.trail.unsafe.UnsafeDoubleTrail.class org.chocosolver.memory.trailing.trail.unsafe.UnsafeIntTrail.class org.chocosolver.memory.trailing.trail.unsafe.UnsafeLongTrail.class org.chocosolver.samples.AbstractProblem.class org.chocosolver.samples.MasterProblem.class org.chocosolver.samples.ParallelizedProblem.class org.chocosolver.samples.SlaveProblem.class org.chocosolver.solver.Cause.class org.chocosolver.solver.ICause.class org.chocosolver.solver.Identity.class org.chocosolver.solver.MasterSolver.class org.chocosolver.solver.ResolutionPolicy.class org.chocosolver.solver.Settings.class org.chocosolver.solver.SlaveSolver.class org.chocosolver.solver.Solver.class org.chocosolver.solver.constraints.Arithmetic.class org.chocosolver.solver.constraints.Constraint.class org.chocosolver.solver.constraints.ICF.class org.chocosolver.solver.constraints.IntConstraintFactory.class org.chocosolver.solver.constraints.LCF.class org.chocosolver.solver.constraints.LogicalConstraintFactory.class org.chocosolver.solver.constraints.Operator.class org.chocosolver.solver.constraints.Propagator.class org.chocosolver.solver.constraints.PropagatorPriority.class org.chocosolver.solver.constraints.ReificationConstraint.class org.chocosolver.solver.constraints.SatFactory.class org.chocosolver.solver.constraints.binary.DistanceXYC.class org.chocosolver.solver.constraints.binary.PropAbsolute.class org.chocosolver.solver.constraints.binary.PropDistanceXYC.class org.chocosolver.solver.constraints.binary.PropElement.class org.chocosolver.solver.constraints.binary.PropEqualXY_C.class org.chocosolver.solver.constraints.binary.PropEqualX_Y.class org.chocosolver.solver.constraints.binary.PropEqualX_YC.class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualXY_C.class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualX_Y.class org.chocosolver.solver.constraints.binary.PropGreaterOrEqualX_YC.class org.chocosolver.solver.constraints.binary.PropLessOrEqualXY_C.class org.chocosolver.solver.constraints.binary.PropNotEqualXY_C.class org.chocosolver.solver.constraints.binary.PropNotEqualX_Y.class org.chocosolver.solver.constraints.binary.PropNotEqualX_YC.class org.chocosolver.solver.constraints.binary.PropScale.class org.chocosolver.solver.constraints.binary.PropSquare.class org.chocosolver.solver.constraints.extension.TupleValidator.class org.chocosolver.solver.constraints.extension.Tuples.class org.chocosolver.solver.constraints.extension.TuplesFactory.class org.chocosolver.solver.constraints.extension.binary.BinRelation.class org.chocosolver.solver.constraints.extension.binary.CouplesBitSetTable.class org.chocosolver.solver.constraints.extension.binary.CouplesTable.class org.chocosolver.solver.constraints.extension.binary.PropBinAC2001.class org.chocosolver.solver.constraints.extension.binary.PropBinAC3.class org.chocosolver.solver.constraints.extension.binary.PropBinAC3bitrm.class org.chocosolver.solver.constraints.extension.binary.PropBinAC3rm.class org.chocosolver.solver.constraints.extension.binary.PropBinCSP.class org.chocosolver.solver.constraints.extension.binary.PropBinFC.class org.chocosolver.solver.constraints.extension.nary.FastBooleanValidityChecker.class org.chocosolver.solver.constraints.extension.nary.FastValidityChecker.class org.chocosolver.solver.constraints.extension.nary.IterTuplesTable.class org.chocosolver.solver.constraints.extension.nary.LargeRelation.class org.chocosolver.solver.constraints.extension.nary.PropLargeCSP.class org.chocosolver.solver.constraints.extension.nary.PropLargeFC.class org.chocosolver.solver.constraints.extension.nary.PropLargeGAC2001.class org.chocosolver.solver.constraints.extension.nary.PropLargeGAC2001Positive.class org.chocosolver.solver.constraints.extension.nary.PropLargeGAC3rm.class org.chocosolver.solver.constraints.extension.nary.PropLargeGAC3rmPositive.class org.chocosolver.solver.constraints.extension.nary.PropLargeGACSTRPos.class org.chocosolver.solver.constraints.extension.nary.PropLargeMDDC.class org.chocosolver.solver.constraints.extension.nary.PropTableStr2.class org.chocosolver.solver.constraints.extension.nary.TuplesLargeTable.class org.chocosolver.solver.constraints.extension.nary.TuplesList.class org.chocosolver.solver.constraints.extension.nary.TuplesTable.class org.chocosolver.solver.constraints.extension.nary.TuplesVeryLargeTable.class org.chocosolver.solver.constraints.extension.nary.ValidityChecker.class org.chocosolver.solver.constraints.nary.PropDiffN.class org.chocosolver.solver.constraints.nary.PropKLoops.class org.chocosolver.solver.constraints.nary.PropKnapsack.class org.chocosolver.solver.constraints.nary.PropSort.class org.chocosolver.solver.constraints.nary.alldifferent.AllDifferent.class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffAC.class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffAdaptative.class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffBC.class org.chocosolver.solver.constraints.nary.alldifferent.PropAllDiffInst.class org.chocosolver.solver.constraints.nary.alldifferent.algo.AlgoAllDiffAC.class org.chocosolver.solver.constraints.nary.alldifferent.algo.AlgoAllDiffBC.class org.chocosolver.solver.constraints.nary.alldifferent.conditions.Condition.class org.chocosolver.solver.constraints.nary.alldifferent.conditions.PropCondAllDiffInst.class org.chocosolver.solver.constraints.nary.alldifferent.conditions.PropCondAllDiff_AC.class org.chocosolver.solver.constraints.nary.among.PropAmongGAC.class org.chocosolver.solver.constraints.nary.among.PropAmongGAC_GoodImpl.class org.chocosolver.solver.constraints.nary.automata.CostRegular.class org.chocosolver.solver.constraints.nary.automata.FA.CostAutomaton.class org.chocosolver.solver.constraints.nary.automata.FA.FiniteAutomaton.class org.chocosolver.solver.constraints.nary.automata.FA.IAutomaton.class org.chocosolver.solver.constraints.nary.automata.FA.ICostAutomaton.class org.chocosolver.solver.constraints.nary.automata.FA.utils.Bounds.class org.chocosolver.solver.constraints.nary.automata.FA.utils.Counter.class org.chocosolver.solver.constraints.nary.automata.FA.utils.CounterState.class org.chocosolver.solver.constraints.nary.automata.FA.utils.ICounter.class org.chocosolver.solver.constraints.nary.automata.PropCostRegular.class org.chocosolver.solver.constraints.nary.automata.PropMultiCostRegular.class org.chocosolver.solver.constraints.nary.automata.PropRegular.class org.chocosolver.solver.constraints.nary.automata.penalty.AbstractPenaltyFunction.class org.chocosolver.solver.constraints.nary.automata.penalty.IPenaltyFunction.class org.chocosolver.solver.constraints.nary.automata.penalty.IsoPenaltyFunction.class org.chocosolver.solver.constraints.nary.automata.penalty.LinearPenaltyFunction.class org.chocosolver.solver.constraints.nary.automata.penalty.NullPenaltyFunction.class org.chocosolver.solver.constraints.nary.automata.structure.AutomatonOperation.class org.chocosolver.solver.constraints.nary.automata.structure.Node.class org.chocosolver.solver.constraints.nary.automata.structure.costregular.Arc.class org.chocosolver.solver.constraints.nary.automata.structure.costregular.StoredValuedDirectedMultiGraph.class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.Arc.class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.FastPathFinder.class org.chocosolver.solver.constraints.nary.automata.structure.multicostregular.StoredDirectedMultiGraph.class org.chocosolver.solver.constraints.nary.automata.structure.regular.Arc.class org.chocosolver.solver.constraints.nary.automata.structure.regular.StoredDirectedMultiGraph.class org.chocosolver.solver.constraints.nary.channeling.PropBitChanneling.class org.chocosolver.solver.constraints.nary.channeling.PropEnumDomainChanneling.class org.chocosolver.solver.constraints.nary.channeling.PropInverseChannelAC.class org.chocosolver.solver.constraints.nary.channeling.PropInverseChannelBC.class org.chocosolver.solver.constraints.nary.circuit.CircuitConf.class org.chocosolver.solver.constraints.nary.circuit.PropCircuitSCC.class org.chocosolver.solver.constraints.nary.circuit.PropCircuit_AntiArboFiltering.class org.chocosolver.solver.constraints.nary.circuit.PropCircuit_ArboFiltering.class org.chocosolver.solver.constraints.nary.circuit.PropNoSubtour.class org.chocosolver.solver.constraints.nary.circuit.PropSubCircuitSCC.class org.chocosolver.solver.constraints.nary.circuit.PropSubcircuit.class org.chocosolver.solver.constraints.nary.circuit.PropSubcircuit_AntiArboFiltering.class org.chocosolver.solver.constraints.nary.cnf.ILogical.class org.chocosolver.solver.constraints.nary.cnf.LogOp.class org.chocosolver.solver.constraints.nary.cnf.LogicTreeToolBox.class org.chocosolver.solver.constraints.nary.cnf.PropClause.class org.chocosolver.solver.constraints.nary.cnf.PropFalse.class org.chocosolver.solver.constraints.nary.cnf.PropSat.class org.chocosolver.solver.constraints.nary.cnf.PropTrue.class org.chocosolver.solver.constraints.nary.cnf.SatConstraint.class org.chocosolver.solver.constraints.nary.cnf.SatSolver.class org.chocosolver.solver.constraints.nary.count.PropCountVar.class org.chocosolver.solver.constraints.nary.count.PropCount_AC.class org.chocosolver.solver.constraints.nary.cumulative.CumulFilter.class org.chocosolver.solver.constraints.nary.cumulative.Cumulative.class org.chocosolver.solver.constraints.nary.cumulative.HeightCumulFilter.class org.chocosolver.solver.constraints.nary.cumulative.NRJCumulFilter.class org.chocosolver.solver.constraints.nary.cumulative.PropFullCumulative.class org.chocosolver.solver.constraints.nary.cumulative.PropGraphCumulative.class org.chocosolver.solver.constraints.nary.cumulative.SweepCumulFilter.class org.chocosolver.solver.constraints.nary.cumulative.SweepHeiSortCumulFilter.class org.chocosolver.solver.constraints.nary.cumulative.TimeCumulFilter.class org.chocosolver.solver.constraints.nary.element.PropElementV_fast.class org.chocosolver.solver.constraints.nary.globalcardinality.GlobalCardinality.class org.chocosolver.solver.constraints.nary.globalcardinality.PropFastGCC.class org.chocosolver.solver.constraints.nary.lex.PropLex.class org.chocosolver.solver.constraints.nary.lex.PropLexChain.class org.chocosolver.solver.constraints.nary.min_max.PropBoolMax.class org.chocosolver.solver.constraints.nary.min_max.PropBoolMin.class org.chocosolver.solver.constraints.nary.min_max.PropMax.class org.chocosolver.solver.constraints.nary.min_max.PropMin.class org.chocosolver.solver.constraints.nary.nValue.PropAMNV.class org.chocosolver.solver.constraints.nary.nValue.PropAtLeastNValues.class org.chocosolver.solver.constraints.nary.nValue.PropAtLeastNValues_AC.class org.chocosolver.solver.constraints.nary.nValue.PropAtMostNValues.class org.chocosolver.solver.constraints.nary.nValue.PropAtMostNValues_BC.class org.chocosolver.solver.constraints.nary.nValue.amnv.differences.AutoDiffDetection.class org.chocosolver.solver.constraints.nary.nValue.amnv.differences.D.class org.chocosolver.solver.constraints.nary.nValue.amnv.graph.G.class org.chocosolver.solver.constraints.nary.nValue.amnv.graph.Gci.class org.chocosolver.solver.constraints.nary.nValue.amnv.graph.Gi.class org.chocosolver.solver.constraints.nary.nValue.amnv.mis.F.class org.chocosolver.solver.constraints.nary.nValue.amnv.mis.MD.class org.chocosolver.solver.constraints.nary.nValue.amnv.mis.MDRk.class org.chocosolver.solver.constraints.nary.nValue.amnv.mis.Rk.class org.chocosolver.solver.constraints.nary.nValue.amnv.rules.R.class org.chocosolver.solver.constraints.nary.nValue.amnv.rules.R1.class org.chocosolver.solver.constraints.nary.nValue.amnv.rules.R2.class org.chocosolver.solver.constraints.nary.nValue.amnv.rules.R3.class org.chocosolver.solver.constraints.nary.nValue.amnv.rules.R4.class org.chocosolver.solver.constraints.nary.nogood.INogood.class org.chocosolver.solver.constraints.nary.nogood.Nogood.class org.chocosolver.solver.constraints.nary.nogood.NogoodStoreFromRestarts.class org.chocosolver.solver.constraints.nary.nogood.NogoodStoreFromSolutions.class org.chocosolver.solver.constraints.nary.nogood.PropNogoodStore.class org.chocosolver.solver.constraints.nary.nogood.UnitNogood.class org.chocosolver.solver.constraints.nary.sum.PropBoolSumCoarse.class org.chocosolver.solver.constraints.nary.sum.PropBoolSumIncremental.class org.chocosolver.solver.constraints.nary.sum.PropScalarEq.class org.chocosolver.solver.constraints.nary.sum.PropSumEq.class org.chocosolver.solver.constraints.nary.sum.Scalar.class org.chocosolver.solver.constraints.nary.sum.ScalarFactory.class org.chocosolver.solver.constraints.nary.tree.PropAntiArborescences.class org.chocosolver.solver.constraints.real.Ibex.class org.chocosolver.solver.constraints.real.IntEqRealConstraint.class org.chocosolver.solver.constraints.real.RealConstraint.class org.chocosolver.solver.constraints.real.RealPropagator.class org.chocosolver.solver.constraints.reification.PropConditionnal.class org.chocosolver.solver.constraints.reification.PropOpposite.class org.chocosolver.solver.constraints.reification.PropReif.class org.chocosolver.solver.constraints.set.PropAllDiff.class org.chocosolver.solver.constraints.set.PropAllDisjoint.class org.chocosolver.solver.constraints.set.PropAllEqual.class org.chocosolver.solver.constraints.set.PropAtMost1Empty.class org.chocosolver.solver.constraints.set.PropBoolChannel.class org.chocosolver.solver.constraints.set.PropCardinality.class org.chocosolver.solver.constraints.set.PropElement.class org.chocosolver.solver.constraints.set.PropIntBoundedMemberSet.class org.chocosolver.solver.constraints.set.PropIntChannel.class org.chocosolver.solver.constraints.set.PropIntEnumMemberSet.class org.chocosolver.solver.constraints.set.PropIntersection.class org.chocosolver.solver.constraints.set.PropInverse.class org.chocosolver.solver.constraints.set.PropMaxElement.class org.chocosolver.solver.constraints.set.PropMinElement.class org.chocosolver.solver.constraints.set.PropNbEmpty.class org.chocosolver.solver.constraints.set.PropNotEmpty.class org.chocosolver.solver.constraints.set.PropNotMemberIntSet.class org.chocosolver.solver.constraints.set.PropNotMemberSetInt.class org.chocosolver.solver.constraints.set.PropOffSet.class org.chocosolver.solver.constraints.set.PropSetIntValuesUnion.class org.chocosolver.solver.constraints.set.PropSubsetEq.class org.chocosolver.solver.constraints.set.PropSumOfElements.class org.chocosolver.solver.constraints.set.PropSymmetric.class org.chocosolver.solver.constraints.set.PropUnion.class org.chocosolver.solver.constraints.set.SCF.class org.chocosolver.solver.constraints.set.SetConstraintsFactory.class org.chocosolver.solver.constraints.ternary.DistanceXYZ.class org.chocosolver.solver.constraints.ternary.Max.class org.chocosolver.solver.constraints.ternary.Min.class org.chocosolver.solver.constraints.ternary.PropDistanceXYZ.class org.chocosolver.solver.constraints.ternary.PropDivXYZ.class org.chocosolver.solver.constraints.ternary.PropMaxBC.class org.chocosolver.solver.constraints.ternary.PropMinBC.class org.chocosolver.solver.constraints.ternary.PropTimesNaive.class org.chocosolver.solver.constraints.ternary.PropTimesXY.class org.chocosolver.solver.constraints.ternary.PropTimesZ.class org.chocosolver.solver.constraints.ternary.Times.class org.chocosolver.solver.constraints.unary.Member.class org.chocosolver.solver.constraints.unary.NotMember.class org.chocosolver.solver.constraints.unary.PropEqualXC.class org.chocosolver.solver.constraints.unary.PropGreaterOrEqualXC.class org.chocosolver.solver.constraints.unary.PropLessOrEqualXC.class org.chocosolver.solver.constraints.unary.PropMemberBound.class org.chocosolver.solver.constraints.unary.PropMemberEnum.class org.chocosolver.solver.constraints.unary.PropNotEqualXC.class org.chocosolver.solver.constraints.unary.PropNotMemberBound.class org.chocosolver.solver.constraints.unary.PropNotMemberEnum.class org.chocosolver.solver.exception.ContradictionException.class org.chocosolver.solver.exception.SolverException.class org.chocosolver.solver.explanations.BranchingDecision.class org.chocosolver.solver.explanations.Deduction.class org.chocosolver.solver.explanations.Explanation.class org.chocosolver.solver.explanations.ExplanationEngine.class org.chocosolver.solver.explanations.ExplanationFactory.class org.chocosolver.solver.explanations.FlattenedRecorderExplanationEngine.class org.chocosolver.solver.explanations.IExplanationMonitor.class org.chocosolver.solver.explanations.LazyExplanationEngineFromRestart.class org.chocosolver.solver.explanations.PropagatorActivation.class org.chocosolver.solver.explanations.RecorderExplanationEngine.class org.chocosolver.solver.explanations.RunnableExplanationEngine.class org.chocosolver.solver.explanations.ThreadExplanationEngine.class org.chocosolver.solver.explanations.ValueRemoval.class org.chocosolver.solver.explanations.VariableState.class org.chocosolver.solver.explanations.antidom.AntiDomBitset.class org.chocosolver.solver.explanations.antidom.AntiDomBool.class org.chocosolver.solver.explanations.antidom.AntiDomInterval.class org.chocosolver.solver.explanations.antidom.AntiDomain.class org.chocosolver.solver.explanations.store.ArrayEventStore.class org.chocosolver.solver.explanations.store.BufferedEventStore.class org.chocosolver.solver.explanations.store.ChunkedEventStore.class org.chocosolver.solver.explanations.store.EventConsumer.class org.chocosolver.solver.explanations.store.IEventStore.class org.chocosolver.solver.explanations.store.QueueEventStore.class org.chocosolver.solver.explanations.strategies.ConflictBasedBackjumping.class org.chocosolver.solver.explanations.strategies.DecisionsSet.class org.chocosolver.solver.explanations.strategies.DynamicBacktracking.class org.chocosolver.solver.explanations.strategies.ExplainingCut.class org.chocosolver.solver.explanations.strategies.ExplainingObjective.class org.chocosolver.solver.explanations.strategies.ExplanationToolbox.class org.chocosolver.solver.explanations.strategies.PGN4Explanation.class org.chocosolver.solver.explanations.strategies.RPGN4Explanation.class org.chocosolver.solver.explanations.strategies.RandomNeighborhood4Explanation.class org.chocosolver.solver.objective.ObjectiveManager.class org.chocosolver.solver.objective.ObjectiveStrategy.class org.chocosolver.solver.objective.OptimizationPolicy.class org.chocosolver.solver.propagation.IPropagationEngine.class org.chocosolver.solver.propagation.NoPropagationEngine.class org.chocosolver.solver.propagation.PropagationEngineFactory.class org.chocosolver.solver.propagation.PropagationTrigger.class org.chocosolver.solver.propagation.hardcoded.FakeEngine.class org.chocosolver.solver.propagation.hardcoded.SevenQueuesPropagatorEngine.class org.chocosolver.solver.propagation.hardcoded.TwoBucketPropagationEngine.class org.chocosolver.solver.propagation.hardcoded.util.AId2AbId.class org.chocosolver.solver.propagation.hardcoded.util.IId2AbId.class org.chocosolver.solver.propagation.hardcoded.util.MId2AbId.class org.chocosolver.solver.search.bind.DefaultSearchBinder.class org.chocosolver.solver.search.bind.ISearchBinder.class org.chocosolver.solver.search.limits.ACounter.class org.chocosolver.solver.search.limits.ActionCounterFactory.class org.chocosolver.solver.search.limits.BacktrackCounter.class org.chocosolver.solver.search.limits.FailCounter.class org.chocosolver.solver.search.limits.ICounter.class org.chocosolver.solver.search.limits.ICounterAction.class org.chocosolver.solver.search.limits.NodeCounter.class org.chocosolver.solver.search.limits.SolutionCounter.class org.chocosolver.solver.search.limits.ThreadTimeCounter.class org.chocosolver.solver.search.limits.TimeCounter.class org.chocosolver.solver.search.loop.ISearchLoop.class org.chocosolver.solver.search.loop.Reporting.class org.chocosolver.solver.search.loop.SearchLoop.class org.chocosolver.solver.search.loop.SearchLoops.class org.chocosolver.solver.search.loop.TimeStampedObject.class org.chocosolver.solver.search.loop.lns.LNSFactory.class org.chocosolver.solver.search.loop.lns.LargeNeighborhoodSearch.class org.chocosolver.solver.search.loop.lns.neighbors.ANeighbor.class org.chocosolver.solver.search.loop.lns.neighbors.ActivityBasedNeighborhood.class org.chocosolver.solver.search.loop.lns.neighbors.AdaptiveNeighborhood.class org.chocosolver.solver.search.loop.lns.neighbors.INeighbor.class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood.class org.chocosolver.solver.search.loop.lns.neighbors.RandomNeighborhood.class org.chocosolver.solver.search.loop.lns.neighbors.ReversePropagationGuidedNeighborhood.class org.chocosolver.solver.search.loop.lns.neighbors.SequenceNeighborhood.class org.chocosolver.solver.search.loop.monitors.FailPerPropagator.class org.chocosolver.solver.search.loop.monitors.IMonitorClose.class org.chocosolver.solver.search.loop.monitors.IMonitorContradiction.class org.chocosolver.solver.search.loop.monitors.IMonitorDownBranch.class org.chocosolver.solver.search.loop.monitors.IMonitorInitPropagation.class org.chocosolver.solver.search.loop.monitors.IMonitorInitialize.class org.chocosolver.solver.search.loop.monitors.IMonitorInterruption.class org.chocosolver.solver.search.loop.monitors.IMonitorOpenNode.class org.chocosolver.solver.search.loop.monitors.IMonitorRestart.class org.chocosolver.solver.search.loop.monitors.IMonitorSolution.class org.chocosolver.solver.search.loop.monitors.IMonitorUpBranch.class org.chocosolver.solver.search.loop.monitors.ISearchMonitor.class org.chocosolver.solver.search.loop.monitors.RestartManager.class org.chocosolver.solver.search.loop.monitors.SMF.class org.chocosolver.solver.search.loop.monitors.SearchMonitorFactory.class org.chocosolver.solver.search.loop.monitors.SearchMonitorList.class org.chocosolver.solver.search.measure.IMeasures.class org.chocosolver.solver.search.measure.MeasuresRecorder.class org.chocosolver.solver.search.restart.AbstractRestartStrategy.class org.chocosolver.solver.search.restart.GeometricalRestartStrategy.class org.chocosolver.solver.search.restart.IRestartStrategy.class org.chocosolver.solver.search.restart.LubyRestartStrategy.class org.chocosolver.solver.search.solution.AllSolutionsRecorder.class org.chocosolver.solver.search.solution.BestSolutionsRecorder.class org.chocosolver.solver.search.solution.ISolutionRecorder.class org.chocosolver.solver.search.solution.LastSolutionRecorder.class org.chocosolver.solver.search.solution.ParetoSolutionsRecorder.class org.chocosolver.solver.search.solution.Solution.class org.chocosolver.solver.search.strategy.ISF.class org.chocosolver.solver.search.strategy.IntStrategyFactory.class org.chocosolver.solver.search.strategy.SSF.class org.chocosolver.solver.search.strategy.SetStrategyFactory.class org.chocosolver.solver.search.strategy.assignments.DecisionOperator.class org.chocosolver.solver.search.strategy.decision.Decision.class org.chocosolver.solver.search.strategy.decision.RootDecision.class org.chocosolver.solver.search.strategy.decision.fast.FastDecision.class org.chocosolver.solver.search.strategy.decision.fast.FastDecisionReal.class org.chocosolver.solver.search.strategy.decision.fast.FastDecisionSet.class org.chocosolver.solver.search.strategy.selectors.IntValueSelector.class org.chocosolver.solver.search.strategy.selectors.RealValueSelector.class org.chocosolver.solver.search.strategy.selectors.SetValueSelector.class org.chocosolver.solver.search.strategy.selectors.VariableEvaluator.class org.chocosolver.solver.search.strategy.selectors.VariableSelector.class org.chocosolver.solver.search.strategy.selectors.VariableSelectorWithTies.class org.chocosolver.solver.search.strategy.selectors.values.IntDomainMax.class org.chocosolver.solver.search.strategy.selectors.values.IntDomainMedian.class org.chocosolver.solver.search.strategy.selectors.values.IntDomainMiddle.class org.chocosolver.solver.search.strategy.selectors.values.IntDomainMin.class org.chocosolver.solver.search.strategy.selectors.values.IntDomainRandom.class org.chocosolver.solver.search.strategy.selectors.values.IntDomainRandomBound.class org.chocosolver.solver.search.strategy.selectors.values.RealDomainMiddle.class org.chocosolver.solver.search.strategy.selectors.values.SetDomainMin.class org.chocosolver.solver.search.strategy.selectors.variables.ActivityBased.class org.chocosolver.solver.search.strategy.selectors.variables.AntiFirstFail.class org.chocosolver.solver.search.strategy.selectors.variables.Cyclic.class org.chocosolver.solver.search.strategy.selectors.variables.DomOverWDeg.class org.chocosolver.solver.search.strategy.selectors.variables.FirstFail.class org.chocosolver.solver.search.strategy.selectors.variables.ImpactBased.class org.chocosolver.solver.search.strategy.selectors.variables.InputOrder.class org.chocosolver.solver.search.strategy.selectors.variables.Largest.class org.chocosolver.solver.search.strategy.selectors.variables.MaxDelta.class org.chocosolver.solver.search.strategy.selectors.variables.MaxRegret.class org.chocosolver.solver.search.strategy.selectors.variables.MinDelta.class org.chocosolver.solver.search.strategy.selectors.variables.Occurrence.class org.chocosolver.solver.search.strategy.selectors.variables.Random.class org.chocosolver.solver.search.strategy.selectors.variables.Smallest.class org.chocosolver.solver.search.strategy.strategy.AbstractStrategy.class org.chocosolver.solver.search.strategy.strategy.FindAndProve.class org.chocosolver.solver.search.strategy.strategy.GenerateAndTest.class org.chocosolver.solver.search.strategy.strategy.IntStrategy.class org.chocosolver.solver.search.strategy.strategy.LastConflict.class org.chocosolver.solver.search.strategy.strategy.LastConflict_old.class org.chocosolver.solver.search.strategy.strategy.Once.class org.chocosolver.solver.search.strategy.strategy.RealStrategy.class org.chocosolver.solver.search.strategy.strategy.SetStrategy.class org.chocosolver.solver.search.strategy.strategy.StrategiesSequencer.class org.chocosolver.solver.thread.AbstractParallelMaster.class org.chocosolver.solver.thread.AbstractParallelSlave.class org.chocosolver.solver.thread.ThreadSolver.class org.chocosolver.solver.trace.Chatterbox.class org.chocosolver.solver.trace.IMessage.class org.chocosolver.solver.trace.LogPropagationCount.class org.chocosolver.solver.trace.LogStatEveryXXms.class org.chocosolver.solver.variables.BoolVar.class org.chocosolver.solver.variables.IVariableMonitor.class org.chocosolver.solver.variables.IntVar.class org.chocosolver.solver.variables.RealVar.class org.chocosolver.solver.variables.SetVar.class org.chocosolver.solver.variables.Task.class org.chocosolver.solver.variables.VF.class org.chocosolver.solver.variables.Variable.class org.chocosolver.solver.variables.VariableFactory.class org.chocosolver.solver.variables.delta.EnumDelta.class org.chocosolver.solver.variables.delta.IDelta.class org.chocosolver.solver.variables.delta.IDeltaMonitor.class org.chocosolver.solver.variables.delta.IEnumDelta.class org.chocosolver.solver.variables.delta.IIntDeltaMonitor.class org.chocosolver.solver.variables.delta.IIntervalDelta.class org.chocosolver.solver.variables.delta.ISetDelta.class org.chocosolver.solver.variables.delta.ISetDeltaMonitor.class org.chocosolver.solver.variables.delta.IntDelta.class org.chocosolver.solver.variables.delta.IntervalDelta.class org.chocosolver.solver.variables.delta.NoDelta.class org.chocosolver.solver.variables.delta.OneValueDelta.class org.chocosolver.solver.variables.delta.SetDelta.class org.chocosolver.solver.variables.delta.monitor.EnumDeltaMonitor.class org.chocosolver.solver.variables.delta.monitor.IntervalDeltaMonitor.class org.chocosolver.solver.variables.delta.monitor.OneValueDeltaMonitor.class org.chocosolver.solver.variables.delta.monitor.SetDeltaMonitor.class org.chocosolver.solver.variables.events.IEventType.class org.chocosolver.solver.variables.events.IntEventType.class org.chocosolver.solver.variables.events.PropagatorEventType.class org.chocosolver.solver.variables.events.RealEventType.class org.chocosolver.solver.variables.events.SetEventType.class org.chocosolver.solver.variables.impl.AbstractVariable.class org.chocosolver.solver.variables.impl.BitsetArrayIntVarImpl.class org.chocosolver.solver.variables.impl.BitsetIntVarImpl.class org.chocosolver.solver.variables.impl.BoolVarImpl.class org.chocosolver.solver.variables.impl.FixedBoolVarImpl.class org.chocosolver.solver.variables.impl.FixedIntVarImpl.class org.chocosolver.solver.variables.impl.FixedSetVarImpl.class org.chocosolver.solver.variables.impl.IntervalIntVarImpl.class org.chocosolver.solver.variables.impl.RealVarImpl.class org.chocosolver.solver.variables.impl.SetVarImpl.class org.chocosolver.solver.variables.view.BoolEqView.class org.chocosolver.solver.variables.view.BoolNotView.class org.chocosolver.solver.variables.view.EqView.class org.chocosolver.solver.variables.view.IView.class org.chocosolver.solver.variables.view.IntView.class org.chocosolver.solver.variables.view.MinusView.class org.chocosolver.solver.variables.view.OffsetView.class org.chocosolver.solver.variables.view.RealView.class org.chocosolver.solver.variables.view.ScaleView.class org.chocosolver.solver.variables.view.ViewDeltaMonitor.class org.chocosolver.util.ESat.class org.chocosolver.util.IndexFactory.class org.chocosolver.util.Indexable.class org.chocosolver.util.PoolManager.class org.chocosolver.util.VariableUtilities.class org.chocosolver.util.graphOperations.GraphTools.class org.chocosolver.util.graphOperations.connectivity.ConnectivityFinder.class org.chocosolver.util.graphOperations.connectivity.StrongConnectivityFinder.class org.chocosolver.util.graphOperations.dominance.AbstractLengauerTarjanDominatorsFinder.class org.chocosolver.util.graphOperations.dominance.AlphaDominatorsFinder.class org.chocosolver.util.graphOperations.dominance.BitOperations.class org.chocosolver.util.graphOperations.dominance.LCAGraphManager.class org.chocosolver.util.graphOperations.dominance.SimpleDominatorsFinder.class org.chocosolver.util.iterators.AppendIterator.class org.chocosolver.util.iterators.ArrayIterator.class org.chocosolver.util.iterators.BoundedIntIterator.class org.chocosolver.util.iterators.CacheIntIterator.class org.chocosolver.util.iterators.Disposable.class org.chocosolver.util.iterators.DisposableIntIterator.class org.chocosolver.util.iterators.DisposableIterator.class org.chocosolver.util.iterators.DisposableRangeBoundIterator.class org.chocosolver.util.iterators.DisposableRangeIterator.class org.chocosolver.util.iterators.DisposableValueBoundIterator.class org.chocosolver.util.iterators.DisposableValueIterator.class org.chocosolver.util.iterators.EmptyIterator.class org.chocosolver.util.iterators.ImmutableListIterator.class org.chocosolver.util.iterators.IntIterator.class org.chocosolver.util.iterators.RangeIterator.class org.chocosolver.util.iterators.SingleElementIterator.class org.chocosolver.util.iterators.ValueIterator.class org.chocosolver.util.objects.IntCircularQueue.class org.chocosolver.util.objects.PriorityQueue.class org.chocosolver.util.objects.SparseSet.class org.chocosolver.util.objects.StoredIndexedBipartiteSet.class org.chocosolver.util.objects.StoredIndexedBipartiteSetWithOffset.class org.chocosolver.util.objects.StoredSparseSet.class org.chocosolver.util.objects.graphs.DirectedGraph.class org.chocosolver.util.objects.graphs.IGraph.class org.chocosolver.util.objects.graphs.MultivaluedDecisionDiagram.class org.chocosolver.util.objects.graphs.Orientation.class org.chocosolver.util.objects.graphs.UndirectedGraph.class org.chocosolver.util.objects.queues.AQueue.class org.chocosolver.util.objects.queues.BinaryTreeHeap.class org.chocosolver.util.objects.queues.CircularQueue.class org.chocosolver.util.objects.queues.DoubleMinHeap.class org.chocosolver.util.objects.queues.IHeap.class org.chocosolver.util.objects.queues.LinkedList.class org.chocosolver.util.objects.queues.MinHeap.class org.chocosolver.util.objects.setDataStructures.ISet.class org.chocosolver.util.objects.setDataStructures.SetFactory.class org.chocosolver.util.objects.setDataStructures.SetType.class org.chocosolver.util.objects.setDataStructures.Set_Copy.class org.chocosolver.util.objects.setDataStructures.Set_Full.class org.chocosolver.util.objects.setDataStructures.Set_Std_BitSet.class org.chocosolver.util.objects.setDataStructures.Set_Trail.class org.chocosolver.util.objects.setDataStructures.linkedlist.IntCell.class org.chocosolver.util.objects.setDataStructures.linkedlist.Set_2LinkedList.class org.chocosolver.util.objects.setDataStructures.linkedlist.Set_LinkedList.class org.chocosolver.util.objects.setDataStructures.linkedlist.Set_Std_2LinkedList.class org.chocosolver.util.objects.setDataStructures.linkedlist.Set_Std_LinkedList.class org.chocosolver.util.objects.setDataStructures.linkedlist.Set_Std_LinkedList_NoRecycling.class org.chocosolver.util.objects.setDataStructures.matrix.Set_Array.class org.chocosolver.util.objects.setDataStructures.matrix.Set_BitSet.class org.chocosolver.util.objects.setDataStructures.matrix.Set_Std_Array.class org.chocosolver.util.objects.setDataStructures.swapList.Set_Std_Swap_Array.class org.chocosolver.util.objects.setDataStructures.swapList.Set_Std_Swap_Hash.class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap.class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap_Array.class org.chocosolver.util.objects.setDataStructures.swapList.Set_Swap_Hash.class org.chocosolver.util.procedure.BinaryIntProcedure.class org.chocosolver.util.procedure.BinaryProcedure.class org.chocosolver.util.procedure.IntProcedure.class org.chocosolver.util.procedure.PairProcedure.class org.chocosolver.util.procedure.Procedure.class org.chocosolver.util.procedure.SafeIntProcedure.class org.chocosolver.util.procedure.TernaryIntProcedure.class org.chocosolver.util.procedure.TernaryProcedure.class org.chocosolver.util.procedure.UnaryIntProcedure.class org.chocosolver.util.procedure.UnaryProcedure.class org.chocosolver.util.procedure.UnarySafeIntProcedure.class org.chocosolver.util.sort.ArraySort.class org.chocosolver.util.sort.IntComparator.class org.chocosolver.util.tools.ArrayUtils.class org.chocosolver.util.tools.MathUtils.class org.chocosolver.util.tools.StatisticUtils.class org.chocosolver.util.tools.StringUtils.class org/chocosolver/memory/IState_E_.template org/chocosolver/memory/copy/Rc_E_.template org/chocosolver/memory/copy/store/IStored_E_Copy.template org/chocosolver/memory/copy/store/Stored_E_Copy.template org/chocosolver/memory/trailing/Stored_E_.template org/chocosolver/memory/trailing/trail/IStored_E_Trail.template org/chocosolver/memory/trailing/trail/chunck/Stored_E_ChunckTrail.template org/chocosolver/memory/trailing/trail/flatten/Stored_E_Trail.template org/chocosolver/memory/trailing/trail/unsafe/Unsafe_E_Trail.template
choco-solver-3.3.0.pom file content.
<?xml version="1.0" encoding="UTF-8"?>
<!--
~ Copyright (c) 1999-2014, Ecole des Mines de Nantes
~ All rights reserved.
~ Redistribution and use in source and binary forms, with or without
~ modification, are permitted provided that the following conditions are met:
~
~ * Redistributions of source code must retain the above copyright
~ notice, this list of conditions and the following disclaimer.
~ * Redistributions in binary form must reproduce the above copyright
~ notice, this list of conditions and the following disclaimer in the
~ documentation and/or other materials provided with the distribution.
~ * Neither the name of the Ecole des Mines de Nantes nor the
~ names of its contributors may be used to endorse or promote products
~ derived from this software without specific prior written permission.
~
~ THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND ANY
~ EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
~ WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
~ DISCLAIMED. IN NO EVENT SHALL THE REGENTS AND CONTRIBUTORS BE LIABLE FOR ANY
~ DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
~ (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
~ LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
~ ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
~ (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
~ SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-->
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
<parent>
<artifactId>choco</artifactId>
<groupId>org.choco-solver</groupId>
<version>3.3.0</version>
</parent>
<modelVersion>4.0.0</modelVersion>
<artifactId>choco-solver</artifactId>
<packaging>jar</packaging>
<name>${project.groupId}:${project.artifactId}</name>
<dependencies>
<dependency>
<groupId>dk.brics.automaton</groupId>
<artifactId>automaton</artifactId>
<version>1.11-8</version>
</dependency>
<dependency>
<groupId>org.javabits.jgrapht</groupId>
<artifactId>jgrapht-core</artifactId>
<version>0.9.3</version>
</dependency>
<dependency>
<groupId>org.easymock</groupId>
<artifactId>easymock</artifactId>
<version>3.3</version>
<scope>test</scope>
</dependency>
<dependency>
<groupId>args4j</groupId>
<artifactId>args4j</artifactId>
<version>2.0.29</version>
</dependency>
</dependencies>
<build>
<plugins>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-jar-plugin</artifactId>
<version>2.5</version>
<configuration>
<excludes>
<exclude>**/logback.xml</exclude>
</excludes>
<archive>
<manifest>
<addClasspath>true</addClasspath>
</manifest>
</archive>
</configuration>
</plugin>
<plugin>
<artifactId>maven-assembly-plugin</artifactId>
<version>2.5.2</version>
<executions>
<execution>
<id>make-assembly</id>
<phase>package</phase>
<goals>
<goal>single</goal>
</goals>
<configuration>
<descriptors>
<descriptor>src/assembly/with-dep.xml</descriptor>
</descriptors>
</configuration>
</execution>
</executions>
</plugin>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-surefire-plugin</artifactId>
<version>2.18</version>
<configuration>
<properties>
<property>
<name>listener</name>
<value>
org.chocosolver.util.CustomListener
</value>
</property>
</properties>
</configuration>
</plugin>
<!-- UNCOMMENT TO GENERATE CLASSES FOR MEMORY PACKAGE
<plugin>
<groupId>org.codehaus.mojo</groupId>
<artifactId>exec-maven-plugin</artifactId>
<version>1.2.1</version>
<executions>
<execution>
<phase>compile</phase>
<goals>
<goal>java</goal>
</goals>
<configuration>
<mainClass>org.chocosolver.memory.generator.CodeGenerator</mainClass>
<arguments>
<!–<argument>-c</argument>–>
<argument>${basedir}/src/main/resources/</argument>
<argument>${basedir}/src/main/java/</argument>
</arguments>
</configuration>
</execution>
</executions>
</plugin>
-->
</plugins>
</build>
</project>
<dependency> <groupId>org.choco-solver</groupId> <artifactId>choco-solver</artifactId> <version>3.3.0</version> </dependency>
If you think the following choco-solver-3.3.0.jar downloaded from Maven central repository is inappropriate, such as containing malicious code/tools or violating the copyright, please email , thanks.
Download choco-solver-3.3.0.jar file