Packages
fixpoint
0.22.6
0.22.6
0.22.5
0.22.4
0.22.3
0.22.2
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/48_states.txt
// ----Colomn 1
#define c_2_1 8
#define c_3_1 39
#define c_4_1 37
#define c_5_1 50
#define c_6_1 61
#define c_7_1 58
#define c_8_1 59
#define c_9_1 62
#define c_10_1 81
#define c_11_1 103
#define c_12_1 108
#define c_13_1 145
#define c_14_1 181
#define c_15_1 187
#define c_16_1 161
#define c_17_1 142
#define c_18_1 174
#define c_19_1 185
#define c_20_1 164
#define c_21_1 137
#define c_22_1 117
#define c_23_1 114
#define c_24_1 85
#define c_25_1 77
#define c_26_1 87
#define c_27_1 91
#define c_28_1 105
#define c_29_1 111
#define c_30_1 91
#define c_31_1 83
#define c_32_1 89
#define c_33_1 95
#define c_34_1 74
#define c_35_1 67
#define c_36_1 74
#define c_37_1 57
#define c_38_1 45
#define c_39_1 35
#define c_40_1 29
#define c_41_1 3
#define c_42_1 5
// ----Colomn 2
#define c_3_2 45
#define c_4_2 47
#define c_5_2 49
#define c_6_2 62
#define c_7_2 60
#define c_8_2 60
#define c_9_2 66
#define c_10_2 81
#define c_11_2 107
#define c_12_2 117
#define c_13_2 149
#define c_14_2 185
#define c_15_2 191
#define c_16_2 170
#define c_17_2 146
#define c_18_2 178
#define c_19_2 186
#define c_20_2 165
#define c_21_2 139
#define c_22_2 122
#define c_23_2 118
#define c_24_2 89
#define c_25_2 80
#define c_26_2 89
#define c_27_2 93
#define c_28_2 106
#define c_29_2 113
#define c_30_2 92
#define c_31_2 85
#define c_32_2 91
#define c_33_2 97
#define c_34_2 81
#define c_35_2 69
#define c_36_2 76
#define c_37_2 59
#define c_38_2 46
#define c_39_2 37
#define c_40_2 33
#define c_41_2 11
#define c_42_2 12
// ----Colomn 3
#define c_4_3 9
#define c_5_3 21
#define c_6_3 21
#define c_7_3 16
#define c_8_3 15
#define c_9_3 20
#define c_10_3 40
#define c_11_3 62
#define c_12_3 66
#define c_13_3 104
#define c_14_3 140
#define c_15_3 146
#define c_16_3 120
#define c_17_3 101
#define c_18_3 133
#define c_19_3 142
#define c_20_3 120
#define c_21_3 94
#define c_22_3 77
#define c_23_3 73
#define c_24_3 44
#define c_25_3 36
#define c_26_3 44
#define c_27_3 48
#define c_28_3 62
#define c_29_3 69
#define c_30_3 50
#define c_31_3 42
#define c_32_3 55
#define c_33_3 64
#define c_34_3 44
#define c_35_3 42
#define c_36_3 61
#define c_37_3 46
#define c_38_3 41
#define c_39_3 35
#define c_40_3 30
#define c_41_3 41
#define c_42_3 55
// ----Colomn 4
#define c_5_4 15
#define c_6_4 20
#define c_7_4 17
#define c_8_4 20
#define c_9_4 25
#define c_10_4 44
#define c_11_4 67
#define c_12_4 71
#define c_13_4 108
#define c_14_4 144
#define c_15_4 150
#define c_16_4 124
#define c_17_4 104
#define c_18_4 138
#define c_19_4 143
#define c_20_4 123
#define c_21_4 96
#define c_22_4 80
#define c_23_4 78
#define c_24_4 48
#define c_25_4 40
#define c_26_4 46
#define c_27_4 50
#define c_28_4 63
#define c_29_4 71
#define c_30_4 51
#define c_31_4 43
#define c_32_4 55
#define c_33_4 63
#define c_34_4 43
#define c_35_4 41
#define c_36_4 60
#define c_37_4 41
#define c_38_4 34
#define c_39_4 26
#define c_40_4 21
#define c_41_4 37
#define c_42_4 41
// ----Colomn 5
#define c_6_5 17
#define c_7_5 18
#define c_8_5 26
#define c_9_5 31
#define c_10_5 50
#define c_11_5 72
#define c_12_5 77
#define c_13_5 114
#define c_14_5 150
#define c_15_5 156
#define c_16_5 130
#define c_17_5 111
#define c_18_5 143
#define c_19_5 140
#define c_20_5 124
#define c_21_5 94
#define c_22_5 83
#define c_23_5 84
#define c_24_5 53
#define c_25_5 46
#define c_26_5 46
#define c_27_5 48
#define c_28_5 64
#define c_29_5 66
#define c_30_5 46
#define c_31_5 38
#define c_32_5 50
#define c_33_5 56
#define c_34_5 35
#define c_35_5 31
#define c_36_5 42
#define c_37_5 25
#define c_38_5 20
#define c_39_5 18
#define c_40_5 18
#define c_41_5 47
#define c_42_5 53
// ----Colomn 6
#define c_7_6 6
#define c_8_6 17
#define c_9_6 22
#define c_10_6 41
#define c_11_6 63
#define c_12_6 68
#define c_13_6 106
#define c_14_6 142
#define c_15_6 142
#define c_16_6 115
#define c_17_6 97
#define c_18_6 129
#define c_19_6 130
#define c_20_6 106
#define c_21_6 80
#define c_22_6 68
#define c_23_6 69
#define c_24_6 41
#define c_25_6 34
#define c_26_6 30
#define c_27_6 34
#define c_28_6 47
#define c_29_6 51
#define c_30_6 30
#define c_31_6 22
#define c_32_6 34
#define c_33_6 42
#define c_34_6 23
#define c_35_6 25
#define c_36_6 44
#define c_37_6 30
#define c_38_6 34
#define c_39_6 34
#define c_40_6 35
#define c_41_6 57
#define c_42_6 64
// ----Colomn 7
#define c_8_7 10
#define c_9_7 15
#define c_10_7 35
#define c_11_7 57
#define c_12_7 61
#define c_13_7 99
#define c_14_7 135
#define c_15_7 137
#define c_16_7 110
#define c_17_7 91
#define c_18_7 123
#define c_19_7 126
#define c_20_7 106
#define c_21_7 78
#define c_22_7 62
#define c_23_7 63
#define c_24_7 34
#define c_25_7 27
#define c_26_7 28
#define c_27_7 32
#define c_28_7 46
#define c_29_7 53
#define c_30_7 34
#define c_31_7 26
#define c_32_7 39
#define c_33_7 49
#define c_34_7 30
#define c_35_7 32
#define c_36_7 51
#define c_37_7 36
#define c_38_7 38
#define c_39_7 36
#define c_40_7 33
#define c_41_7 55
#define c_42_7 61
// ----Colomn 8
#define c_9_8 5
#define c_10_8 24
#define c_11_8 46
#define c_12_8 51
#define c_13_8 88
#define c_14_8 124
#define c_15_8 130
#define c_16_8 104
#define c_17_8 85
#define c_18_8 117
#define c_19_8 124
#define c_20_8 105
#define c_21_8 77
#define c_22_8 60
#define c_23_8 57
#define c_24_8 28
#define c_25_8 19
#define c_26_8 29
#define c_27_8 33
#define c_28_8 49
#define c_29_8 56
#define c_30_8 38
#define c_31_8 32
#define c_32_8 44
#define c_33_8 56
#define c_34_8 39
#define c_35_8 41
#define c_36_8 60
#define c_37_8 47
#define c_38_8 48
#define c_39_8 46
#define c_40_8 40
#define c_41_8 58
#define c_42_8 61
// ----Colomn 9
#define c_10_9 20
#define c_11_9 41
#define c_12_9 46
#define c_13_9 84
#define c_14_9 120
#define c_15_9 125
#define c_16_9 105
#define c_17_9 86
#define c_18_9 118
#define c_19_9 128
#define c_20_9 110
#define c_21_9 84
#define c_22_9 61
#define c_23_9 59
#define c_24_9 29
#define c_25_9 21
#define c_26_9 32
#define c_27_9 36
#define c_28_9 54
#define c_29_9 61
#define c_30_9 43
#define c_31_9 36
#define c_32_9 49
#define c_33_9 60
#define c_34_9 44
#define c_35_9 46
#define c_36_9 66
#define c_37_9 52
#define c_38_9 53
#define c_39_9 51
#define c_40_9 45
#define c_41_9 63
#define c_42_9 66
// ----Colomn 10
#define c_11_10 23
#define c_12_10 26
#define c_13_10 63
#define c_14_10 99
#define c_15_10 105
#define c_16_10 90
#define c_17_10 75
#define c_18_10 107
#define c_19_10 118
#define c_20_10 104
#define c_21_10 77
#define c_22_10 50
#define c_23_10 48
#define c_24_10 22
#define c_25_10 14
#define c_26_10 27
#define c_27_10 30
#define c_28_10 48
#define c_29_10 57
#define c_30_10 49
#define c_31_10 51
#define c_32_10 63
#define c_33_10 75
#define c_34_10 62
#define c_35_10 64
#define c_36_10 83
#define c_37_10 71
#define c_38_10 73
#define c_39_10 70
#define c_40_10 65
#define c_41_10 83
#define c_42_10 84
// ----Colomn 11
#define c_12_11 11
#define c_13_11 49
#define c_14_11 85
#define c_15_11 90
#define c_16_11 72
#define c_17_11 51
#define c_18_11 83
#define c_19_11 93
#define c_20_11 86
#define c_21_11 56
#define c_22_11 34
#define c_23_11 28
#define c_24_11 23
#define c_25_11 29
#define c_26_11 36
#define c_27_11 34
#define c_28_11 46
#define c_29_11 59
#define c_30_11 60
#define c_31_11 63
#define c_32_11 76
#define c_33_11 86
#define c_34_11 78
#define c_35_11 83
#define c_36_11 102
#define c_37_11 93
#define c_38_11 96
#define c_39_11 93
#define c_40_11 87
#define c_41_11 105
#define c_42_11 111
// ----Colomn 12
#define c_13_12 40
#define c_14_12 76
#define c_15_12 81
#define c_16_12 64
#define c_17_12 59
#define c_18_12 84
#define c_19_12 101
#define c_20_12 97
#define c_21_12 64
#define c_22_12 42
#define c_23_12 36
#define c_24_12 35
#define c_25_12 40
#define c_26_12 47
#define c_27_12 45
#define c_28_12 59
#define c_29_12 71
#define c_30_12 71
#define c_31_12 75
#define c_32_12 87
#define c_33_12 97
#define c_34_12 89
#define c_35_12 90
#define c_36_12 110
#define c_37_12 98
#define c_38_12 99
#define c_39_12 97
#define c_40_12 91
#define c_41_12 109
#define c_42_12 113
// ----Colomn 13
#define c_14_13 35
#define c_15_13 41
#define c_16_13 34
#define c_17_13 29
#define c_18_13 54
#define c_19_13 72
#define c_20_13 71
#define c_21_13 65
#define c_22_13 49
#define c_23_13 43
#define c_24_13 69
#define c_25_13 77
#define c_26_13 78
#define c_27_13 77
#define c_28_13 85
#define c_29_13 96
#define c_30_13 103
#define c_31_13 106
#define c_32_13 120
#define c_33_13 126
#define c_34_13 121
#define c_35_13 130
#define c_36_13 147
#define c_37_13 136
#define c_38_13 137
#define c_39_13 134
#define c_40_13 117
#define c_41_13 147
#define c_42_13 150
// ----Colomn 14
#define c_15_14 10
#define c_16_14 31
#define c_17_14 53
#define c_18_14 46
#define c_19_14 69
#define c_20_14 93
#define c_21_14 90
#define c_22_14 82
#define c_23_14 77
#define c_24_14 105
#define c_25_14 114
#define c_26_14 116
#define c_27_14 115
#define c_28_14 119
#define c_29_14 130
#define c_30_14 141
#define c_31_14 142
#define c_32_14 155
#define c_33_14 160
#define c_34_14 159
#define c_35_14 164
#define c_36_14 185
#define c_37_14 172
#define c_38_14 176
#define c_39_14 171
#define c_40_14 166
#define c_41_14 186
#define c_42_14 186
// ----Colomn 15
#define c_16_15 27
#define c_17_15 48
#define c_18_15 35
#define c_19_15 58
#define c_20_15 82
#define c_21_15 87
#define c_22_15 77
#define c_23_15 72
#define c_24_15 102
#define c_25_15 111
#define c_26_15 112
#define c_27_15 110
#define c_28_15 115
#define c_29_15 126
#define c_30_15 136
#define c_31_15 140
#define c_32_15 150
#define c_33_15 155
#define c_34_15 155
#define c_35_15 160
#define c_36_15 179
#define c_37_15 172
#define c_38_15 178
#define c_39_15 176
#define c_40_15 171
#define c_41_15 188
#define c_42_15 192
// ----Colomn 16
#define c_17_16 21
#define c_18_16 26
#define c_19_16 58
#define c_20_16 62
#define c_21_16 58
#define c_22_16 60
#define c_23_16 45
#define c_24_16 74
#define c_25_16 84
#define c_26_16 84
#define c_27_16 83
#define c_28_16 88
#define c_29_16 98
#define c_30_16 109
#define c_31_16 112
#define c_32_16 123
#define c_33_16 128
#define c_34_16 127
#define c_35_16 133
#define c_36_16 155
#define c_37_16 148
#define c_38_16 151
#define c_39_16 151
#define c_40_16 144
#define c_41_16 164
#define c_42_16 166
// ----Colomn 17
#define c_18_17 31
#define c_19_17 43
#define c_20_17 42
#define c_21_17 36
#define c_22_17 30
#define c_23_17 27
#define c_24_17 56
#define c_25_17 64
#define c_26_17 66
#define c_27_17 63
#define c_28_17 66
#define c_29_17 75
#define c_30_17 90
#define c_31_17 93
#define c_32_17 100
#define c_33_17 104
#define c_34_17 108
#define c_35_17 114
#define c_36_17 133
#define c_37_17 126
#define c_38_17 131
#define c_39_17 129
#define c_40_17 125
#define c_41_17 144
#define c_42_17 147
// ----Colomn 18
#define c_19_18 26
#define c_20_18 45
#define c_21_18 68
#define c_22_18 62
#define c_23_18 59
#define c_24_18 88
#define c_25_18 96
#define c_26_18 98
#define c_27_18 97
#define c_28_18 98
#define c_29_18 98
#define c_30_18 115
#define c_31_18 126
#define c_32_18 123
#define c_33_18 128
#define c_34_18 136
#define c_35_18 146
#define c_36_18 159
#define c_37_18 158
#define c_38_18 163
#define c_39_18 161
#define c_40_18 157
#define c_41_18 176
#define c_42_18 180
// ----Colomn 19
#define c_20_19 22
#define c_21_19 50
#define c_22_19 70
#define c_23_19 69
#define c_24_19 99
#define c_25_19 107
#define c_26_19 95
#define c_27_19 91
#define c_28_19 79
#define c_29_19 85
#define c_30_19 99
#define c_31_19 108
#define c_32_19 109
#define c_33_19 113
#define c_34_19 124
#define c_35_19 134
#define c_36_19 146
#define c_37_19 147
#define c_38_19 159
#define c_39_19 163
#define c_40_19 156
#define c_41_19 182
#define c_42_19 188
// ----Colomn 20
#define c_21_20 30
#define c_22_20 49
#define c_23_20 55
#define c_24_20 81
#define c_25_20 87
#define c_26_20 75
#define c_27_20 72
#define c_28_20 59
#define c_29_20 62
#define c_30_20 81
#define c_31_20 88
#define c_32_20 86
#define c_33_20 90
#define c_34_20 101
#define c_35_20 111
#define c_36_20 122
#define c_37_20 124
#define c_38_20 135
#define c_39_20 139
#define c_40_20 139
#define c_41_20 161
#define c_42_20 167
// ----Colomn 21
#define c_22_21 21
#define c_23_21 27
#define c_24_21 54
#define c_25_21 60
#define c_26_21 47
#define c_27_21 44
#define c_28_21 31
#define c_29_21 38
#define c_30_21 53
#define c_31_21 60
#define c_32_21 62
#define c_33_21 67
#define c_34_21 75
#define c_35_21 85
#define c_36_21 98
#define c_37_21 121
#define c_38_21 108
#define c_39_21 118
#define c_40_21 113
#define c_41_21 134
#define c_42_21 140
// ----Colomn 22
#define c_23_22 5
#define c_24_22 32
#define c_25_22 40
#define c_26_22 36
#define c_27_22 32
#define c_28_22 36
#define c_29_22 47
#define c_30_22 61
#define c_31_22 64
#define c_32_22 71
#define c_33_22 76
#define c_34_22 79
#define c_35_22 84
#define c_36_22 105
#define c_37_22 97
#define c_38_22 102
#define c_39_22 102
#define c_40_22 95
#define c_41_22 119
#define c_42_22 124
// ----Colomn 23
#define c_24_23 29
#define c_25_23 37
#define c_26_23 39
#define c_27_23 36
#define c_28_23 42
#define c_29_23 53
#define c_30_23 62
#define c_31_23 66
#define c_32_23 78
#define c_33_23 82
#define c_34_23 81
#define c_35_23 86
#define c_36_23 107
#define c_37_23 99
#define c_38_23 103
#define c_39_23 101
#define c_40_23 97
#define c_41_23 116
#define c_42_23 119
// ----Colomn 24
#define c_25_24 8
#define c_26_24 12
#define c_27_24 9
#define c_28_24 28
#define c_29_24 39
#define c_30_24 36
#define c_31_24 39
#define c_32_24 52
#define c_33_24 62
#define c_34_24 54
#define c_35_24 59
#define c_36_24 79
#define c_37_24 71
#define c_38_24 73
#define c_39_24 71
#define c_40_24 67
#define c_41_24 86
#define c_42_24 90
// ----Colomn 25
#define c_26_25 11
#define c_27_25 15
#define c_28_25 33
#define c_29_25 42
#define c_30_25 34
#define c_31_25 36
#define c_32_25 49
#define c_33_25 59
#define c_34_25 50
#define c_35_25 52
#define c_36_25 71
#define c_37_25 65
#define c_38_25 67
#define c_39_25 65
#define c_40_25 60
#define c_41_25 78
#define c_42_25 87
// ----Colomn 26
#define c_27_26 3
#define c_28_26 21
#define c_29_26 29
#define c_30_26 24
#define c_31_26 27
#define c_32_26 39
#define c_33_26 49
#define c_34_26 42
#define c_35_26 47
#define c_36_26 66
#define c_37_26 59
#define c_38_26 64
#define c_39_26 65
#define c_40_26 62
#define c_41_26 84
#define c_42_26 90
// ----Colomn 27
#define c_28_27 20
#define c_29_27 30
#define c_30_27 28
#define c_31_27 31
#define c_32_27 44
#define c_33_27 53
#define c_34_27 46
#define c_35_27 51
#define c_36_27 70
#define c_37_27 63
#define c_38_27 69
#define c_39_27 70
#define c_40_27 67
#define c_41_27 88
#define c_42_27 94
// ----Colomn 28
#define c_29_28 12
#define c_30_28 20
#define c_31_28 28
#define c_32_28 35
#define c_33_28 40
#define c_34_28 43
#define c_35_28 53
#define c_36_28 70
#define c_37_28 67
#define c_38_28 75
#define c_39_28 84
#define c_40_28 79
#define c_41_28 101
#define c_42_28 107
// ----Colomn 29
#define c_30_29 20
#define c_31_29 28
#define c_32_29 24
#define c_33_29 29
#define c_34_29 39
#define c_35_29 49
#define c_36_29 60
#define c_37_29 62
#define c_38_29 72
#define c_39_29 78
#define c_40_29 82
#define c_41_29 108
#define c_42_29 114
// ----Colomn 30
#define c_31_30 8
#define c_32_30 15
#define c_33_30 25
#define c_34_30 23
#define c_35_30 32
#define c_36_30 48
#define c_37_30 46
#define c_38_30 54
#define c_39_30 58
#define c_40_30 62
#define c_41_30 88
#define c_42_30 77
// ----Colomn 31
#define c_32_31 12
#define c_33_31 23
#define c_34_31 14
#define c_35_31 24
#define c_36_31 40
#define c_37_31 38
#define c_38_31 46
#define c_39_31 50
#define c_40_31 53
#define c_41_31 80
#define c_42_31 86
// ----Colomn 32
#define c_33_32 11
#define c_34_32 14
#define c_35_32 24
#define c_36_32 36
#define c_37_32 37
#define c_38_32 49
#define c_39_32 56
#define c_40_32 59
#define c_41_32 86
#define c_42_32 92
// ----Colomn 33
#define c_34_33 21
#define c_35_33 30
#define c_36_33 33
#define c_37_33 43
#define c_38_33 54
#define c_39_33 62
#define c_40_33 66
#define c_41_33 92
#define c_42_33 98
// ----Colomn 34
#define c_35_34 9
#define c_36_34 25
#define c_37_34 23
#define c_38_34 34
#define c_39_34 41
#define c_40_34 45
#define c_41_34 71
#define c_42_34 80
// ----Colomn 35
#define c_36_35 18
#define c_37_35 13
#define c_38_35 24
#define c_39_35 32
#define c_40_35 38
#define c_41_35 64
#define c_42_35 74
// ----Colomn 36
#define c_37_36 17
#define c_38_36 29
#define c_39_36 38
#define c_40_36 45
#define c_41_36 71
#define c_42_36 77
// ----Colomn 37
#define c_38_37 12
#define c_39_37 21
#define c_40_37 27
#define c_41_37 54
#define c_42_37 60
// ----Colomn 38
#define c_39_38 9
#define c_40_38 15
#define c_41_38 41
#define c_42_38 48
// ----Colomn 39
#define c_40_39 6
#define c_41_39 32
#define c_42_39 38
// ----Colomn 40
#define c_41_40 25
#define c_42_40 32
// ----Colomn 41
#define c_42_41 6