Index of /~pat/jchoco/trianglePacking/code
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[TXT]](/icons/text.gif)
21-40-17.txt 2010-04-29 15:25 895
21-40.txt 2010-04-29 15:11 895
![[ ]](/icons/unknown.gif)
40-20-00.opb 2010-04-01 15:43 10K
40-27-00.opb 2010-04-01 15:45 124K
40-28-00.opb 2010-04-01 16:00 50K
40-28-77.opb 2010-04-01 16:01 145K
40-28-77.sol 2010-05-28 09:28 10K
40-28-77ILP0.txt 2010-04-04 09:14 93
40-28-77Mod0.txt 2010-03-31 16:57 0
40-40-00.opb 2010-05-27 14:30 834K
40-40-27.opb 2010-05-27 14:32 2.2M
50-30-00.opb 2010-05-27 14:41 601K
Analyse.java 2010-04-30 10:36 3.4K
AnalyseMinisat.java 2010-05-28 16:37 5.2K
AnalyseSat.java 2010-05-13 11:26 5.2K
Binomial.class 2011-10-17 12:33 723
Binomial.java 2011-10-17 16:05 955
BirthdayParadox.java 2010-05-12 16:13 310
Compare.java 2010-04-30 12:17 2.3K
Compare2.java 2010-05-27 15:05 2.4K
Cycle.java 2010-03-16 15:44 766
Cycle.log 2010-03-16 17:07 36K
CycleList.java 2010-04-01 15:42 1.2K
GraphToTriples.java 2010-04-29 15:23 4.9K
ILP0.java 2010-04-29 17:31 4.6K
ILP1.java 2010-04-23 12:51 5.0K
ILPSat.java 2010-04-01 15:58 4.7K
ILPSat1.java 2010-04-23 14:05 5.2K
Kappa.java 2010-04-22 15:36 1.5K
Kappa3.java 2010-04-20 12:39 886
Kappa4.java 2010-05-10 16:22 2.0K
Kappa5.java 2010-05-12 16:42 2.0K
MakeData.java 2010-03-29 16:53 940
MakeMoreData.java 2010-03-30 15:09 1.0K
MinisatTest.java 2010-05-28 13:43 1.7K
Mod0.java 2010-04-29 17:31 5.2K
ModelTest.java 2010-03-29 17:10 1.3K
MyIo.java 2010-05-28 13:12 2.2K
MyIoException.java 2000-03-30 15:21 133
MyOut.java 2010-02-18 09:31 555
MyOutException.java 2010-02-18 09:31 136
RandomGraph.java 2010-03-29 16:03 393
Scatter.java 2010-05-27 12:59 2.2K
Size.java 2010-08-10 10:45 1.5K
ToSat.java 2010-04-01 15:39 2.8K
allNds.gnu 2010-03-30 10:16 369
check.gnu 2010-04-30 12:45 376
![[ ]](/icons/a.gif)
check.ps 2010-04-30 12:43 17K
cnf40.txt 2010-05-27 11:36 2.6K
cp.txt 2010-04-30 11:26 1.9K
cp30.txt 2010-04-30 12:06 2.0K
cp40.txt 2010-04-30 12:05 2.8K
cp50.txt 2010-05-04 17:38 2.4K
dataJob 2010-05-28 17:39 62K
f50.txt 2010-05-27 13:53 5.1K
false.txt 2010-05-27 13:53 64K
growth.gnu 2010-06-03 16:16 284
growth.ps 2010-06-03 16:16 15K
growth.txt 2010-06-03 16:00 78
ilp01.txt 2010-04-30 11:22 1.7K
ilp021.txt 2010-05-19 15:36 3.2K
ilp030.txt 2010-06-03 11:36 3.7K
ilp040.txt 2010-06-03 11:42 2.8K
ilpOpt.gnu 2010-05-19 15:48 383
ilpOpt.ps 2010-06-03 11:42 17K
instance1.opb 2010-05-29 19:32 136K
instance2.opb 2010-05-31 15:15 284K
instance3.opb 2010-05-31 11:52 117K
instance4.opb 2010-05-29 06:32 123K
lp0.txt 2010-04-30 10:49 1.5K
mJob.txt 2010-05-27 16:32 3.3K
miniSat.gnu 2010-06-01 14:17 504
miniSat.ps 2010-06-01 14:19 16K
miniSat30.txt 2010-05-28 16:40 3.6K
miniSat40.txt 2010-05-28 16:40 3.0K
miniSat50.txt 2010-05-28 16:41 1.6K
miniSat60.txt 2010-06-01 12:44 1.3K
minisat+ 2010-05-27 16:03 2.1M
mip.gnu 2010-05-13 11:41 494
mip.ps 2010-05-14 14:22 19K
mip.txt 2010-04-30 11:25 3.1K
mip30.txt 2010-05-13 11:28 3.9K
mip40.txt 2010-05-14 14:19 3.0K
mip50.txt 2010-05-13 11:29 1.9K
mip60.txt 2010-06-01 13:07 2.6K
mip100.txt 2010-05-14 16:49 2.3K
mip200.txt 2010-05-17 10:02 3.1K
mipOnly.gnu 2010-06-01 14:30 508
mipOnly.ps 2010-06-01 14:30 14K
mod040.txt 2010-05-13 11:55 2.9K
mp01.txt 2010-04-30 11:22 3.1K
nds.gnu 2010-03-30 11:05 331
nds.ps 2010-03-30 11:05 16K
nds.txt 2010-03-30 10:26 2.8K
ndsILP0.txt 2010-03-30 10:31 2.8K
ndsMod0.txt 2010-03-30 10:32 2.9K
opt.gnu 2010-05-13 12:18 391
opt.ps 2010-05-13 12:18 17K
opt40.gnu 2010-05-19 11:38 352
opt40Nds.gnu 2010-05-19 11:46 343
opt40Nds.ps 2010-05-19 11:46 16K
opt40Time.gnu 2010-05-19 11:39 352
opt40Time.ps 2010-05-19 11:46 16K
result1.opb 2010-06-01 08:50 9.8K
result2.opb 2010-06-01 08:50 16K
result3.opb 2010-06-01 08:50 8.8K
result4.opb 2010-06-01 08:50 9.3K
sat.gnu 2010-06-03 11:55 428
sat.ps 2010-06-03 11:56 16K
sat.txt 2010-04-19 17:20 3.1K
sat20.txt 2010-05-12 17:21 3.9K
sat30.txt 2010-05-12 17:21 4.8K
sat40.gnu 2010-05-27 11:59 346
sat40.ps 2010-05-27 11:59 16K
sat40.txt 2010-05-12 17:20 3.6K
sat50.txt 2010-05-12 17:22 2.4K
satNds.gnu 2010-04-23 13:57 426
satNds.ps 2010-04-23 13:16 18K
satNotKappa.gnu 2010-06-03 11:46 444
satNotKappa.ps 2010-06-03 11:46 15K
satNotKappaTime.gnu 2010-06-03 11:47 447
satNotKappaTime.ps 2010-06-03 11:47 17K
satTime.gnu 2010-06-01 14:18 438
satTime.ps 2010-06-01 14:19 16K
scatter.gnu 2010-03-30 10:23 301
scatter.ps 2010-03-30 10:25 23K
scatter.txt 2010-03-30 10:25 12K
size.gnu 2010-08-10 12:48 522
size.ps 2010-08-10 12:48 19K
size30.txt 2010-08-10 10:57 3.3K
size40.txt 2010-08-10 10:57 3.2K
size50.txt 2010-08-10 10:58 3.2K
size60.txt 2010-08-10 10:53 3.3K
size100.txt 2010-08-10 11:09 39K
size200.txt 2010-08-10 11:09 39K
sol.gnu 2010-03-30 11:03 240
sol.ps 2010-03-30 11:03 15K
z.gnu 2010-05-27 17:42 170
z.ps 2010-05-27 17:43 39K