Packages
fixpoint
0.21.3
0.22.1
0.21.5
0.21.4
0.21.3
0.21.2
0.21.1
0.21.0
0.20.6
0.20.5
0.20.4
0.20.3
0.20.2
0.20.1
0.19.5
0.19.4
0.19.3
0.19.2
0.19.1
0.18.2
0.18.1
0.17.6
0.17.5
0.17.4
0.17.3
0.17.2
0.17.1
0.16.5
0.16.4
0.16.3
0.16.2
0.16.1
0.16.0
0.15.6
0.15.5
0.15.4
0.15.3
0.15.2
0.15.1
0.15.0
0.14.9
0.14.8
0.14.7
0.14.6
0.14.5
0.14.4
0.14.3
0.14.2
0.14.1
0.13.5
0.13.4
0.13.2
0.13.1
0.12.9
0.12.8
0.12.7
0.12.6
0.12.5
0.12.4
0.12.2
0.12.1
0.11.8
0.11.7
0.11.6
0.11.5
0.11.4
0.11.3
0.11.2
0.11.1
0.10.7
0.10.6
0.10.5
0.10.4
0.10.3
0.10.2
0.10.1
0.9.12
0.9.11
0.9.10
0.9.9
0.9.8
0.9.7
0.9.6
0.9.5
0.9.4
0.9.3
0.9.2
0.9.1
0.9.0
0.8.52
0.8.51
0.8.50
0.8.49
0.8.48
0.8.46
0.8.44
0.8.43
0.8.42
0.8.41
0.8.40
0.8.39
0.8.38
0.8.37
0.8.36
0.8.35
0.8.34
0.8.33
0.8.32
0.8.31
0.8.30
0.8.29
0.8.28
0.8.27
0.8.26
0.8.25
0.8.24
0.8.23
0.8.22
0.8.21
0.8.20
0.8.19
0.8.18
0.8.17
0.8.16
0.8.15
0.8.14
0.8.13
0.8.12
0.8.11
0.8.10
0.8.9
0.8.8
0.8.7
0.8.6
0.8.5
0.8.4
0.8.3
0.8.2
0.8.1
0.8.0
0.7.10
0.7.9
0.7.8
0.7.7
0.7.6
0.7.5
0.7.4
0.7.3
0.7.2
0.7.1
0.7.0
0.6.5
0.6.4
0.6.3
0.6.2
0.6.1
0.6.0
0.5.12
0.5.11
0.5.10
0.5.9
0.5.8
0.5.7
0.5.6
0.5.5
0.5.4
0.5.3
0.5.2
0.5.1
0.5.0
0.4.3
0.4.2
0.4.1
0.4.0
0.3.6
0.3.5
0.3.4
0.3.3
0.3.2
0.3.1
0.3.0
0.2.3
0.2.2
0.2.1
0.1.3
0.1.2
0.1.1
0.1.0
Constraint Programming Solver
Current section
Files
Jump to
Current section
Files
data/tsp/numbers
tsp_15.txt - 291 (opt), solution: [12, 14, 11, 10, 6, 3, 2, 5, 4, 7, 0, 13, 1, 9, 8, 291]
tsp_17.txt - 2085 (opt), solution: [3, 4, 10, 12, 8, 16, 7, 5, 11, 1, 9, 15, 6, 14, 2, 0, 13, 2085]
tsp_26.txt - 937 (fixpoint), solution: [1, 2, 3, 5, 6, 4, 7, 8, 9, 13, 15, 12, 10, 14, 11, 18, 20, 16, 19, 17, 21, 25,
23, 24, 0, 22, 937]
tsp_61.txt 357 (LNS, minicp), 332 (fixpoint), solution: [23, 40, 6, 28, 42, 41, 48, 14, 11, 37, 26, 38, 13, 22, 34, 18, 58, 43, 50, 9, 16, 47, 52, 46, 31, 39, 51, 57, 21, 27, 0, 36, 8, 44, 15, 12, 56, 33, 1, 3, 19, 10, 53, 30, 5, 25, 4, 29, 49, 35, 17, 45, 20, 24, 32, 59, 60, 2, 7, 54, 55, 332]
tsp_81.txt 401 (LNS, minicp), 411 (fixpoint), solution: [61, 14, 65, 63, 67, 8, 7, 78, 47, 48, 29, 25, 6, 4, 36, 43, 69, 21, 44, 33, 23, 0, 34, 42, 62, 49, 68, 53, 27, 70, 19, 17, 9, 11, 32, 26, 66, 10, 80, 30, 20, 16, 52, 45, 73, 57, 59, 74, 35, 38, 54, 3, 5, 31, 13, 28, 46, 50, 24, 77, 56, 40, 12, 2, 72, 58, 71, 75, 37, 64, 55, 15, 39, 79, 18, 51, 1, 41, 22, 60, 76, 411]
tsp_101.txt 482 (LNS, minicp), 492 (fixpoint), solution: [10, 29, 24, 96, 86, 39, 100, 64, 23, 98, 93, 89, 17, 87, 54, 97, 50, 38, 25, 14, 44, 9, 77, 84, 19, 57, 63, 91, 68, 13, 33, 43, 71, 42, 1, 48, 70, 99, 26, 60, 67, 49, 15, 78, 28, 0, 35, 36, 40, 34, 95, 8, 90, 52, 83, 2, 6, 37, 66, 85, 76, 27, 56, 16, 94, 11, 79, 75, 73, 45, 53, 81, 65, 58, 20, 3, 59, 88, 30, 7, 72, 31, 41, 22, 32, 62, 21, 4, 82, 51, 74, 46, 47, 55, 12, 5, 92, 69, 61, 80, 18, 492]