Sophie: minion-examples-0.10-4.fc13 noarch

minion-examples-0.10-4.fc13.noarch.rpm

Files

drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/benchmarks
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/generators
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Quasigroup
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/SAT
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/graceful
-rw-r--r--	4132	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/regression.filelist
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/scripts
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/small
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/solitaire
-rw-r--r--	230869	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline1.minion
-rw-r--r--	938504	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline10.minion
-rw-r--r--	944048	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline10watched.minion
-rw-r--r--	1005634	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline11.minion
-rw-r--r--	1011528	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline11watched.minion
-rw-r--r--	232563	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline1watched.minion
-rw-r--r--	354924	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline2.minion
-rw-r--r--	357318	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline2watched.minion
-rw-r--r--	479396	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline3.minion
-rw-r--r--	482490	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline3watched.minion
-rw-r--r--	541626	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline4.minion
-rw-r--r--	545070	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline4watched.minion
-rw-r--r--	603854	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline5.minion
-rw-r--r--	607648	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline5watched.minion
-rw-r--r--	669984	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline6.minion
-rw-r--r--	674128	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline6watched.minion
-rw-r--r--	737114	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline7.minion
-rw-r--r--	741608	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline7watched.minion
-rw-r--r--	804244	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline8.minion
-rw-r--r--	809088	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline8watched.minion
-rw-r--r--	871374	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline9.minion
-rw-r--r--	876568	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Bibd/bibdline9watched.minion
-rw-r--r--	19876	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Quasigroup/qg-element-7-10.minion
-rw-r--r--	8718	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Quasigroup/qg-element-7-7.minion
-rw-r--r--	11803	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Quasigroup/qg-element-7-8.minion
-rw-r--r--	15509	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Quasigroup/qg-element-7-9.minion
-rw-r--r--	22682	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Quasigroup/qg-gacelement-7-10.minion
-rw-r--r--	10096	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Quasigroup/qg-gacelement-7-7.minion
-rw-r--r--	13601	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Quasigroup/qg-gacelement-7-8.minion
-rw-r--r--	17783	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Quasigroup/qg-gacelement-7-9.minion
-rw-r--r--	20886	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Quasigroup/qg-watchelement-7-10.minion
-rw-r--r--	9218	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Quasigroup/qg-watchelement-7-7.minion
-rw-r--r--	12453	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Quasigroup/qg-watchelement-7-8.minion
-rw-r--r--	16329	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/Quasigroup/qg-watchelement-7-9.minion
-rw-r--r--	1714479	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/SAT/qg7-11watched.minion
-rw-r--r--	2440229	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/SAT/qg7-12watched.minion
-rw-r--r--	2160	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/graceful/k3p2_simple.minion
-rw-r--r--	7367	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/graceful/k3p2_table.minion
-rw-r--r--	3417	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/graceful/k4p2_simple.minion
-rw-r--r--	37389	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/graceful/k4p2_table.minion
-rw-r--r--	4991	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/graceful/k5p2_simple.minion
-rw-r--r--	143895	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/graceful/k5p2_table.minion
-rw-r--r--	7031	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/graceful/k6p2_simple.minion
-rw-r--r--	437335	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/graceful/k6p2_table.minion
-rw-r--r--	9542	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/graceful/k7p2_simple.minion
-rw-r--r--	1118546	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/graceful/k7p2_table.minion
-rw-r--r--	1278	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/scripts/benchmark-hudson.py
-rw-r--r--	712	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/scripts/benchmark.py
-rw-r--r--	896	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/scripts/runall-hudson.sh
-rw-r--r--	1242	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/small/donaldgeraldrobert.minion
-rw-r--r--	436552	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/solitaire/solitaire_benchmark_1.minion
-rw-r--r--	436552	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/solitaire/solitaire_benchmark_2.minion
-rw-r--r--	436552	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/solitaire/solitaire_benchmark_3.minion
-rw-r--r--	436552	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/solitaire/solitaire_benchmark_4.minion
-rw-r--r--	436552	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/solitaire/solitaire_benchmark_5.minion
-rw-r--r--	436552	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/solitaire/solitaire_benchmark_6.minion
-rw-r--r--	436552	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/solitaire/solitaire_benchmark_7.minion
-rw-r--r--	436552	root	root	/usr/share/doc/minion-examples-0.10/benchmarks/solitaire/solitaire_benchmark_8.minion
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/generators/Bibd
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/generators/Golomb
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/generators/Graceful
-rw-r--r--	5589	root	root	/usr/share/doc/minion-examples-0.10/generators/InstanceHelp.h
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/generators/Langford
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/generators/PrimeQueens
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/generators/Quasigroup
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/generators/SAT
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/generators/SAT_pigeon
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/generators/Solitaire
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/generators/SportsSchedule
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill
-rw-r--r--	1278	root	root	/usr/share/doc/minion-examples-0.10/generators/alternating_gen.cpp
-rw-r--r--	2286	root	root	/usr/share/doc/minion-examples-0.10/generators/graph_sym.cpp
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/generators/indicator
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/generators/nqueens-JFP
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/generators/rep-tuple
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/generators/sudoku-generator
-rw-r--r--	3694	root	root	/usr/share/doc/minion-examples-0.10/generators/Bibd/MinionBIBDInstanceGenerator.cpp
-rw-r--r--	433	root	root	/usr/share/doc/minion-examples-0.10/generators/Bibd/MinionBIBDInstanceGenerator.h
-rw-r--r--	6537	root	root	/usr/share/doc/minion-examples-0.10/generators/Golomb/GolombMinionGenerator.cpp
-rw-r--r--	8461	root	root	/usr/share/doc/minion-examples-0.10/generators/Golomb/GolombTable.cpp
-rw-r--r--	9242	root	root	/usr/share/doc/minion-examples-0.10/generators/Graceful/GracefulMinionGenerator.cpp
-rw-r--r--	1723	root	root	/usr/share/doc/minion-examples-0.10/generators/Langford/langford.cpp
-rw-r--r--	13191	root	root	/usr/share/doc/minion-examples-0.10/generators/PrimeQueens/MinionPrimeQueenInstanceGenerator.cpp
-rw-r--r--	1054	root	root	/usr/share/doc/minion-examples-0.10/generators/PrimeQueens/MinionPrimeQueenInstanceGenerator.h
-rw-r--r--	26549	root	root	/usr/share/doc/minion-examples-0.10/generators/PrimeQueens/pq4.minion
-rw-r--r--	96720	root	root	/usr/share/doc/minion-examples-0.10/generators/PrimeQueens/pq5.minion
-rw-r--r--	6675	root	root	/usr/share/doc/minion-examples-0.10/generators/PrimeQueens/pq5New.minion
-rw-r--r--	247627	root	root	/usr/share/doc/minion-examples-0.10/generators/PrimeQueens/pq6.minion
-rw-r--r--	605879	root	root	/usr/share/doc/minion-examples-0.10/generators/PrimeQueens/pq7.minion
-rw-r--r--	1225841	root	root	/usr/share/doc/minion-examples-0.10/generators/PrimeQueens/pq8.minion
-rw-r--r--	2354305	root	root	/usr/share/doc/minion-examples-0.10/generators/PrimeQueens/pq9.minion
-rw-r--r--	892	root	root	/usr/share/doc/minion-examples-0.10/generators/SAT_pigeon/pigeon_gen.cpp
-rw-r--r--	10128	root	root	/usr/share/doc/minion-examples-0.10/generators/Solitaire/solitaire-solver.cpp
-rw-r--r--	6977	root	root	/usr/share/doc/minion-examples-0.10/generators/SportsSchedule/MinionSportsInstanceGenerator.cpp
-rw-r--r--	339	root	root	/usr/share/doc/minion-examples-0.10/generators/SportsSchedule/MinionSportsInstanceGenerator.h
-rw-r--r--	4224	root	root	/usr/share/doc/minion-examples-0.10/generators/SportsSchedule/sp6.minion
-rw-r--r--	6413	root	root	/usr/share/doc/minion-examples-0.10/generators/SportsSchedule/sp7.minion
-rw-r--r--	12042	root	root	/usr/share/doc/minion-examples-0.10/generators/SportsSchedule/sp8.minion
drwxr-xr-x	4096	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances
-rw-r--r--	8799	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/steelmill-solver.cpp
-rw-r--r--	45444	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/12.txt
-rw-r--r--	45435	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/13.txt
-rw-r--r--	15396	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/14.txt
-rw-r--r--	5559	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/17res.txt
-rw-r--r--	4684	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/18res.txt
-rw-r--r--	47	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/SMTest.txt
-rw-r--r--	699	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2.txt
-rw-r--r--	71	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub1.txt
-rw-r--r--	117	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub12.txt
-rw-r--r--	117	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub12Descend.txt
-rw-r--r--	121	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub13.txt
-rw-r--r--	121	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub13Descend.txt
-rw-r--r--	125	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub14.txt
-rw-r--r--	125	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub14Descend.txt
-rw-r--r--	131	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub15.txt
-rw-r--r--	131	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub15Ascend.txt
-rw-r--r--	131	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub15Descend.txt
-rw-r--r--	136	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub16.txt
-rw-r--r--	136	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub16Descend.txt
-rw-r--r--	140	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub17.txt
-rw-r--r--	140	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub17Descend.txt
-rw-r--r--	145	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub18.txt
-rw-r--r--	145	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub18Descend.txt
-rw-r--r--	150	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub19.txt
-rw-r--r--	95	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub2.txt
-rw-r--r--	155	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub20.txt
-rw-r--r--	130	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub2Descending.txt
-rw-r--r--	79	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub3.txt
-rw-r--r--	88	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub5.txt
-rw-r--r--	88	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub5Descend.txt
-rw-r--r--	100	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2Sub8.txt
-rw-r--r--	129	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2sub2Ascending.txt
-rw-r--r--	574	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2x100.txt
-rw-r--r--	209	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2x30.txt
-rw-r--r--	267	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2x40.txt
-rw-r--r--	327	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2x50.txt
-rw-r--r--	388	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2x60.txt
-rw-r--r--	450	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2x70.txt
-rw-r--r--	517	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2x80.txt
-rw-r--r--	574	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/d2x90.txt
-rw-r--r--	108	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/ian1.txt
-rw-r--r--	79	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/ian1a.txt
-rw-r--r--	69	root	root	/usr/share/doc/minion-examples-0.10/generators/Steelmill/sminstances/ian1b.txt
-rw-r--r--	1682	root	root	/usr/share/doc/minion-examples-0.10/generators/indicator/indicator.cpp
-rw-r--r--	2253	root	root	/usr/share/doc/minion-examples-0.10/generators/indicator/indicator.py
-rw-r--r--	1502	root	root	/usr/share/doc/minion-examples-0.10/generators/nqueens-JFP/nqueensgen.cpp
-rw-r--r--	2343	root	root	/usr/share/doc/minion-examples-0.10/generators/rep-tuple/golomb-ruler.cc
-rw-r--r--	9644	root	root	/usr/share/doc/minion-examples-0.10/generators/rep-tuple/random-bibd.cc
-rw-r--r--	1195	root	root	/usr/share/doc/minion-examples-0.10/generators/sudoku-generator/sudoku.prb