ダウンロードリスト

プロジェクト概要

チョコ: 制約プログラミング (CP) 制約充足問題 (CSP) の java ライブラリです。

システム要件

システム要件が設定されていません

ダウンロードパッケージ一覧

最新ファイル(5件)
名前 サイズ 日付 ダウンロード数
README.md 1.0 KB 2013-05-29 17:01 19
choco-solver-13.03-jar-with-dependencies.jar 4.8 MB 2013-05-29 16:51 31
choco-solver-13.03-javadoc.jar 4.2 MB 2013-05-29 16:50 81
WrapperFactory.html 10.2 KB 2012-08-03 00:11 11
VoidWrapper.html 15.1 KB 2012-08-03 00:11 3
その他全ファイル
choco
13.03 (beta)
README.md1.0 KB2013-05-29 17:0119
choco-solver-13.03-jar-with-dependencies.jar4.8 MB2013-05-29 16:5131
choco-solver-13.03-javadoc.jar4.2 MB2013-05-29 16:5081
2.1.5
choco-2.1.5
apidocs
trace
WrapperFactory.html10.2 KB2012-08-03 00:1111
VoidWrapper.html15.1 KB2012-08-03 00:113
VisuWrapper.html14.0 KB2012-08-03 00:112
visualizers
Writer.html33.1 KB2012-08-03 00:111
VectorWaterfall.html17.9 KB2012-08-03 00:112
VectorSize.html17.7 KB2012-08-03 00:114
Vector.html22.6 KB2012-08-03 00:111
package-use.html7.7 KB2012-08-03 00:111
package-tree.html8.2 KB2012-08-03 00:111
package-summary.html9.7 KB2012-08-03 00:112
package-frame.html2.5 KB2012-08-03 00:110
LexLt.html19.3 KB2012-08-03 00:110
LexLe.html19.3 KB2012-08-03 00:110
Inverse.html19.4 KB2012-08-03 00:110
Gcc.html19.0 KB2012-08-03 00:111
Element.html19.7 KB2012-08-03 00:111
DomainMatrix.html22.9 KB2012-08-03 00:111
Cumulative.html20.5 KB2012-08-03 00:112
class-use
Writer.html16.7 KB2012-08-03 00:111
VectorWaterfall.html5.8 KB2012-08-03 00:110
VectorSize.html5.7 KB2012-08-03 00:110
Vector.html8.5 KB2012-08-03 00:110
LexLe.html5.7 KB2012-08-03 00:111
LexLt.html5.7 KB2012-08-03 00:110
Inverse.html5.7 KB2012-08-03 00:110
Gcc.html5.6 KB2012-08-03 00:112
Element.html5.7 KB2012-08-03 00:110
DomainMatrix.html7.8 KB2012-08-03 00:111
BoolChanneling.html5.8 KB2012-08-03 00:110
Cumulative.html5.7 KB2012-08-03 00:111
BinPacking.html5.7 KB2012-08-03 00:111
BinaryVector.html5.7 KB2012-08-03 00:112
AllDifferentMatrix.html5.8 KB2012-08-03 00:110
BinaryMatrix.html5.7 KB2012-08-03 00:110
AllDifferent.html5.7 KB2012-08-03 00:112
BinPacking.html19.9 KB2012-08-03 00:114
BoolChanneling.html25.3 KB2012-08-03 00:110
BinaryVector.html17.9 KB2012-08-03 00:112
BinaryMatrix.html18.0 KB2012-08-03 00:110
AllDifferentMatrix.html18.7 KB2012-08-03 00:111
AllDifferent.html17.7 KB2012-08-03 00:111
Visualizer.html30.7 KB2012-08-03 00:112
Visualization.html22.6 KB2012-08-03 00:112
Show.html16.8 KB2012-08-03 00:111
package-use.html7.5 KB2012-08-03 00:110
package-summary.html7.3 KB2012-08-03 00:101
package-tree.html7.2 KB2012-08-03 00:100
package-frame.html1.6 KB2012-08-03 00:102
CPVizConstant.html44.2 KB2012-08-03 00:100
class-use
VoidWrapper.html5.6 KB2012-08-03 00:100
WrapperFactory.html5.6 KB2012-08-03 00:101
VisuWrapper.html5.6 KB2012-08-03 00:100
Visualizer.html14.3 KB2012-08-03 00:100
Visualization.html7.1 KB2012-08-03 00:102
Show.html7.6 KB2012-08-03 00:101
CPVizConstant.html5.6 KB2012-08-03 00:103
stylesheet.css1.4 KB2012-08-03 00:105
serialized-form.html175.5 KB2012-08-03 00:103
samples
tutorials
visu
ResourceGUI.html17.0 KB2012-08-03 00:101
package-use.html5.5 KB2012-08-03 00:100
package-tree.html6.4 KB2012-08-03 00:100
package-summary.html6.1 KB2012-08-03 00:101
package-frame.html0.9 KB2012-08-03 00:103
class-use
ResourceGUI.html5.8 KB2012-08-03 00:102
to_sort
Zebra.html12.9 KB2012-08-03 00:101
WolfGoatCabbage1.html18.6 KB2012-08-03 00:105
U2planning.Person.html11.4 KB2012-08-03 00:101
U2planning.html24.2 KB2012-08-03 00:100
tsp
SubTourConstraint.html43.5 KB2012-08-03 00:101
SubTourConstraint.SubTourConstraintManager.html19.4 KB2012-08-03 00:101
package-use.html5.6 KB2012-08-03 00:101
package-tree.html10.6 KB2012-08-03 00:102
package-summary.html8.0 KB2012-08-03 00:101
package-frame.html1.9 KB2012-08-03 00:100
MyVarSelector.html20.7 KB2012-08-03 00:101
MinSpanningTree.MinSpanningTreeManager.html19.5 KB2012-08-03 00:101
MyValSelector.html18.6 KB2012-08-03 00:101
MinSpanningTree.html45.4 KB2012-08-03 00:103
Generator.html16.7 KB2012-08-03 00:101
CycleMain.html19.5 KB2012-08-03 00:101
class-use
SubTourConstraint.html6.0 KB2012-08-03 00:101
SubTourConstraint.SubTourConstraintManager.html6.2 KB2012-08-03 00:102
MyVarSelector.html6.0 KB2012-08-03 00:100
MyValSelector.html6.0 KB2012-08-03 00:101
MinSpanningTree.MinSpanningTreeManager.html6.2 KB2012-08-03 00:101
MinSpanningTree.html6.0 KB2012-08-03 00:100
Generator.html5.9 KB2012-08-03 00:103
CycleMain.html5.9 KB2012-08-03 00:102
socialgolfer
ScalarAtMost.ScalarAtMostManager.html19.3 KB2012-08-03 00:101
ScalarAtMost.html41.2 KB2012-08-03 00:101
package-use.html5.6 KB2012-08-03 00:100
package-tree.html8.9 KB2012-08-03 00:106
package-summary.html6.9 KB2012-08-03 00:101
package-frame.html1.3 KB2012-08-03 00:101
class-use
ScalarAtMost.ScalarAtMostManager.html6.2 KB2012-08-03 00:101
ScalarAtMost.html6.0 KB2012-08-03 00:101
ExSocialGolfer.html6.1 KB2012-08-03 00:101
ExSocialGolfer.html17.0 KB2012-08-03 00:101
SimpleSchedule.html23.3 KB2012-08-03 00:091
scheduling
RehearsalProblem.html20.2 KB2012-08-03 00:091
ResourceAllocation.html23.2 KB2012-08-03 00:090
PertCPM.html19.2 KB2012-08-03 00:093
package-use.html5.6 KB2012-08-03 00:091
package-tree.html7.7 KB2012-08-03 00:092
package-summary.html7.9 KB2012-08-03 00:091
package-frame.html1.7 KB2012-08-03 00:092
MeetingScheduling.html18.6 KB2012-08-03 00:090
OpenShopScheduling.html20.1 KB2012-08-03 00:092
CumulativeScheduling.html19.8 KB2012-08-03 00:094
class-use
ResourceAllocation.html6.1 KB2012-08-03 00:091
RehearsalProblem.html6.1 KB2012-08-03 00:092
OpenShopScheduling.html6.1 KB2012-08-03 00:091
PertCPM.html6.0 KB2012-08-03 00:092
MeetingScheduling.html6.1 KB2012-08-03 00:091
CumulativeScheduling.html6.1 KB2012-08-03 00:092
Picross.html26.7 KB2012-08-03 00:093
packing
RackConfiguration.html17.9 KB2012-08-03 00:091
parser
package-use.html5.7 KB2012-08-03 00:091
package-summary.html7.1 KB2012-08-03 00:091
package-tree.html8.1 KB2012-08-03 00:091
package-frame.html1.3 KB2012-08-03 00:092
CompositeHeuristics1BP.html17.5 KB2012-08-03 00:092
class-use
CompositeHeuristics1BP.html6.2 KB2012-08-03 00:092
BinPackingModel.html6.1 KB2012-08-03 00:091
BinPackingCmd.html6.1 KB2012-08-03 00:092
BinPackingModel.html25.9 KB2012-08-03 00:091
BinPackingCmd.html20.7 KB2012-08-03 00:091
PackVisu.html17.7 KB2012-08-03 00:092
package-use.html5.6 KB2012-08-03 00:091
package-tree.html7.0 KB2012-08-03 00:092
package-frame.html1.2 KB2012-08-03 00:091
package-summary.html6.8 KB2012-08-03 00:091
class-use
RackConfiguration.html6.0 KB2012-08-03 00:090
PackVisu.html5.9 KB2012-08-03 00:091
BinPackingInstances.html6.1 KB2012-08-03 00:092
BinPackingInstances.html18.4 KB2012-08-03 00:092
package-use.html6.6 KB2012-08-03 00:090
package-summary.html8.2 KB2012-08-03 00:090
package-tree.html8.1 KB2012-08-03 00:090
package-frame.html1.8 KB2012-08-03 00:092
MotsACaser.html10.8 KB2012-08-03 00:090
MinimumEdgeDeletion.html23.6 KB2012-08-03 00:091
class-use
Zebra.html5.8 KB2012-08-03 00:092
WolfGoatCabbage1.html5.9 KB2012-08-03 00:090
U2planning.Person.html10.1 KB2012-08-03 00:092
U2planning.html5.8 KB2012-08-03 00:091
SimpleSchedule.html5.9 KB2012-08-03 00:092
Picross.html5.8 KB2012-08-03 00:090
MotsACaser.html5.8 KB2012-08-03 00:090
MinimumEdgeDeletion.html5.9 KB2012-08-03 00:092
BinPacking.html5.8 KB2012-08-03 00:092
BinPacking.html17.1 KB2012-08-03 00:090
StressTest3.html17.3 KB2012-08-03 00:091
StressTest4.html17.1 KB2012-08-03 00:092
StressTest2.html17.3 KB2012-08-03 00:082
StressTest1.html17.3 KB2012-08-03 00:081
set
SteinerSystem.html19.3 KB2012-08-03 00:081
package-use.html5.5 KB2012-08-03 00:082
package-summary.html6.2 KB2012-08-03 00:080
package-tree.html6.4 KB2012-08-03 00:080
package-frame.html0.9 KB2012-08-03 00:081
class-use
SteinerSystem.html5.8 KB2012-08-03 00:081
scheduling
ProjectSchedulingLoad.html18.3 KB2012-08-03 00:082
ProjectScheduling.html18.5 KB2012-08-03 00:082
package-use.html5.5 KB2012-08-03 00:080
package-tree.html7.7 KB2012-08-03 00:080
package-summary.html7.7 KB2012-08-03 00:080
package-frame.html1.8 KB2012-08-03 00:081
MachineSchedulingVariableSpeed.html18.8 KB2012-08-03 00:080
MachineSchedulingLabelQuotient.html18.8 KB2012-08-03 00:080
MachineScheduling.html18.5 KB2012-08-03 00:080
class-use
ProjectSchedulingLoad.html6.0 KB2012-08-03 00:081
ProjectScheduling.html5.9 KB2012-08-03 00:081
MachineSchedulingVariableSpeed.html6.1 KB2012-08-03 00:082
MachineSchedulingLabelQuotient.html6.1 KB2012-08-03 00:081
MachineScheduling.html5.9 KB2012-08-03 00:082
AirPlaneLanding.html5.9 KB2012-08-03 00:081
AircraftLanding.html5.9 KB2012-08-03 00:081
AirPlaneLanding.html21.7 KB2012-08-03 00:082
AircraftLanding.html19.2 KB2012-08-03 00:080
puzzles
Sudoku.html21.2 KB2012-08-03 00:081
SendMoreMoney.html18.6 KB2012-08-03 00:080
Queen.html18.7 KB2012-08-03 00:080
Partition.html18.2 KB2012-08-03 00:081
package-use.html5.5 KB2012-08-03 00:080
package-tree.html7.9 KB2012-08-03 00:080
package-summary.html8.1 KB2012-08-03 00:082
package-frame.html1.9 KB2012-08-03 00:081
MagicSquare.html20.5 KB2012-08-03 00:080
MagicSerie.html19.5 KB2012-08-03 00:080
HowOldAmI.html18.1 KB2012-08-03 00:083
GolombRuler.html18.9 KB2012-08-03 00:083
DonaldGeraldRobert.html25.9 KB2012-08-03 00:080
class-use
Sudoku.html5.8 KB2012-08-03 00:082
SendMoreMoney.html5.9 KB2012-08-03 00:084
Queen.html5.8 KB2012-08-03 00:081
Partition.html5.8 KB2012-08-03 00:080
MagicSquare.html5.9 KB2012-08-03 00:071
MagicSerie.html5.8 KB2012-08-03 00:071
HowOldAmI.html5.8 KB2012-08-03 00:0711
GolombRuler.html5.9 KB2012-08-03 00:072
DonaldGeraldRobert.html5.9 KB2012-08-03 00:072
Candles.html5.8 KB2012-08-03 00:071
Candles.html17.9 KB2012-08-03 00:073
PatternExample.html24.0 KB2012-08-03 00:071
package-use.html20.3 KB2012-08-03 00:070
package-tree.html7.6 KB2012-08-03 00:072
package-summary.html8.0 KB2012-08-03 00:072
package-frame.html2.0 KB2012-08-03 00:072
pack
package-tree.html6.4 KB2012-08-03 00:070
package-use.html5.5 KB2012-08-03 00:071
package-summary.html6.2 KB2012-08-03 00:072
package-frame.html0.9 KB2012-08-03 00:071
KnapSack.html18.4 KB2012-08-03 00:072
class-use
KnapSack.html5.8 KB2012-08-03 00:071
Ordering.html17.3 KB2012-08-03 00:070
LoggingExample.html13.8 KB2012-08-03 00:070
lns
rcpsp
RCPSPModeler.html21.8 KB2012-08-03 00:072
RCPSPFileParser.html17.4 KB2012-08-03 00:075
RCPSPData.html18.6 KB2012-08-03 00:072
RCPSPCmd.html19.4 KB2012-08-03 00:073
package-use.html6.8 KB2012-08-03 00:071
package-tree.html7.5 KB2012-08-03 00:072
package-summary.html7.2 KB2012-08-03 00:073
class-use
RCPSPModeler.html5.9 KB2012-08-03 00:075
RCPSPFileParser.html6.0 KB2012-08-03 00:073
RCPSPData.html7.8 KB2012-08-03 00:071
RCPSPCmd.html5.9 KB2012-08-03 00:071
package-frame.html1.3 KB2012-08-03 00:071
lns
RandomTaskNeighborhoodOperator.html18.4 KB2012-08-03 00:072
RandomNeighborhoodOperator.html17.0 KB2012-08-03 00:071
package-use.html7.2 KB2012-08-03 00:071
package-tree.html9.6 KB2012-08-03 00:070
package-summary.html8.3 KB2012-08-03 00:072
package-frame.html1.9 KB2012-08-03 00:072
NeighborhoodOperator.html9.4 KB2012-08-03 00:072
Neighborhood.html17.3 KB2012-08-03 00:071
LNSCPSolver.html68.4 KB2012-08-03 00:071
LNSCPConfiguration.html37.2 KB2012-08-03 00:071
class-use
RandomTaskNeighborhoodOperator.html6.1 KB2012-08-03 00:071
RandomNeighborhoodOperator.html6.0 KB2012-08-03 00:073
Neighborhood.html9.0 KB2012-08-03 00:071
NeighborhoodOperator.html13.0 KB2012-08-03 00:071
LNSCPSolver.html5.9 KB2012-08-03 00:070
LNSCPConfiguration.html6.0 KB2012-08-03 00:072
AbstractLNSSolver.html6.0 KB2012-08-03 00:071
AbstractLNSSolver.html275.0 KB2012-08-03 00:072
Langford.html18.2 KB2012-08-03 00:062
Example.html15.4 KB2012-08-03 00:061
database
package-use.html5.5 KB2012-08-03 00:060
package-tree.html6.3 KB2012-08-03 00:061
package-summary.html6.2 KB2012-08-03 00:060
package-frame.html1.0 KB2012-08-03 00:061
DbExample.html19.4 KB2012-08-03 00:062
class-use
DbExample.html5.8 KB2012-08-03 00:061
continuous
package-use.html5.5 KB2012-08-03 00:061
package-tree.html6.6 KB2012-08-03 00:065
package-frame.html1.1 KB2012-08-03 00:061
package-summary.html6.4 KB2012-08-03 00:061
CycloHexan.html17.9 KB2012-08-03 00:061
class-use
CycloHexan.html5.9 KB2012-08-03 00:061
Arm.html5.8 KB2012-08-03 00:061
Arm.html17.8 KB2012-08-03 00:061
class-use
StressTest4.html5.7 KB2012-08-03 00:061
StressTest3.html5.7 KB2012-08-03 00:062
StressTest2.html5.7 KB2012-08-03 00:061
PatternExample.html36.7 KB2012-08-03 00:061
StressTest1.html5.7 KB2012-08-03 00:061
LoggingExample.html5.8 KB2012-08-03 00:060
Ordering.html5.7 KB2012-08-03 00:062
Langford.html5.7 KB2012-08-03 00:061
Example.html38.6 KB2012-08-03 00:060
AllIntervalSeries.html5.8 KB2012-08-03 00:064
basics
TaskVarExample.html18.1 KB2012-08-03 00:062
SetVarExample.html19.6 KB2012-08-03 00:060
RealVarExample.html18.4 KB2012-08-03 00:062
package-use.html5.5 KB2012-08-03 00:061
package-tree.html7.0 KB2012-08-03 00:062
package-summary.html6.9 KB2012-08-03 00:061
package-frame.html1.3 KB2012-08-03 00:061
IntVarExample.html18.1 KB2012-08-03 00:060
class-use
TaskVarExample.html5.9 KB2012-08-03 00:061
SetVarExample.html5.9 KB2012-08-03 00:061
RealVarExample.html5.9 KB2012-08-03 00:061
IntVarExample.html5.9 KB2012-08-03 00:061
assignment
package-use.html5.5 KB2012-08-03 00:062
package-tree.html6.6 KB2012-08-03 00:060
package-summary.html6.4 KB2012-08-03 00:060
package-frame.html1.1 KB2012-08-03 00:061
class-use
CarSequence.html5.9 KB2012-08-03 00:061
Assignment.html5.9 KB2012-08-03 00:063
CarSequence.html18.9 KB2012-08-03 00:051
Assignment.html18.1 KB2012-08-03 00:056
applet
package-use.html5.5 KB2012-08-03 00:051
package-tree.html9.1 KB2012-08-03 00:051
package-summary.html6.6 KB2012-08-03 00:051
SendMoreMoney.html12.7 KB2012-08-03 00:103