Packages
fixpoint
0.21.4
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), 319 (fixpoint), solution: [23, 9, 6, 28, 42, 34, 48, 14, 1, 40, 26, 8, 13, 41, 12, 50, 22, 43, 15, 33, 18, 47, 52, 46, 31, 39, 51, 35, 21, 27, 0, 36, 38, 44, 7, 57, 56, 19, 11, 3, 37, 10, 53, 30, 5, 25, 4, 29, 49, 58, 17, 45, 20, 24, 32, 59, 60, 2, 16, 54, 55, 319]
tsp_81.txt 401 (LNS, minicp), 386 (fixpoint), solution: [61, 14, 65, 63, 13, 47, 7, 12, 5, 48, 29, 19, 62, 67, 66, 25, 64, 21, 59, 33, 42, 28, 78, 20, 6, 11, 68, 53, 50, 70, 39, 4, 9, 72, 22, 10, 71, 26, 30, 80, 43, 16, 77, 15, 73, 57, 60, 52, 31, 38, 45, 3, 41, 55, 27, 17, 46, 0, 24, 74, 44, 23, 54, 2, 69, 58, 36, 75, 34, 40, 37, 35, 49, 8, 79, 51, 1, 18, 32, 56, 76, 386]
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]