claspD-2.0 via Emscripten

This small demo invokes claspD-2.0 (compiled into JavaScript with Emscripten) to solve the problem of enumerating all directed graphs (including self-loops) with three nodes that are unique up to isomorphism, a problem encoded with disjunctive rules.

Each time "solve" is pressed, a separate Web Worker is started with a copy of the solver. Several parallel solving processes are possible while still interacting with the rest of the page.

To try this driver on other applications, paste the output of gringo (or any other ASP grounder producing smodels-compatible outputs) into the textarea below and customize the solver arguments. Including "--outf=2" yields results encoded in JSON.

Input

Program filename:
Smodels program text:

1 2 0 0
1 3 0 0
1 4 0 0
1 5 0 0
3 9 6 7 8 9 10 11 12 13 14 0 0
1 15 0 0
1 16 0 0
1 17 0 0
1 18 0 0
1 19 0 0
1 20 0 0
1 21 0 0
1 22 0 0
1 23 0 0
1 24 0 0
1 25 0 0
1 26 0 0
1 27 0 0
1 28 0 0
1 29 0 0
1 30 0 0
1 31 0 0
1 32 0 0
1 33 0 0
8 3 34 35 36 0 0
8 3 37 38 39 0 0
8 3 40 41 42 0 0
1 43 3 0 34 38 42
1 44 1 0 43
1 34 1 0 44
1 35 1 0 44
1 36 1 0 44
1 37 1 0 44
1 38 1 0 44
1 39 1 0 44
1 40 1 0 44
1 41 1 0 44
1 42 1 0 44
2 46 3 0 2 34 35 36
1 45 1 0 46
2 47 3 0 2 37 38 39
1 45 1 0 47
2 48 3 0 2 40 41 42
1 45 1 0 48
1 44 1 0 45
2 50 3 0 2 34 37 40
1 49 1 0 50
2 51 3 0 2 35 38 41
1 49 1 0 51
2 52 3 0 2 36 39 42
1 49 1 0 52
1 44 1 0 49
2 54 2 1 2 14 14
1 53 3 0 42 42 54
2 55 2 1 2 11 14
1 53 3 0 42 41 55
2 56 2 1 2 8 14
1 53 3 0 42 40 56
2 58 2 1 2 14 11
1 57 3 0 42 39 58
2 59 2 1 2 11 11
1 57 3 0 42 38 59
2 60 2 1 2 8 11
1 57 3 0 42 37 60
2 62 2 1 2 14 8
1 61 3 0 42 36 62
2 63 2 1 2 11 8
1 61 3 0 42 35 63
2 64 2 1 2 8 8
1 61 3 0 42 34 64
2 65 2 1 2 13 14
1 53 3 0 41 42 65
2 66 2 1 2 10 14
1 53 3 0 41 41 66
2 67 2 1 2 7 14
1 53 3 0 41 40 67
2 68 2 1 2 13 11
1 57 3 0 41 39 68
2 69 2 1 2 10 11
1 57 3 0 41 38 69
2 70 2 1 2 7 11
1 57 3 0 41 37 70
2 71 2 1 2 13 8
1 61 3 0 41 36 71
2 72 2 1 2 10 8
1 61 3 0 41 35 72
2 73 2 1 2 7 8
1 61 3 0 41 34 73
2 74 2 1 2 12 14
1 53 3 0 40 42 74
2 75 2 1 2 9 14
1 53 3 0 40 41 75
2 76 2 1 2 6 14
1 53 3 0 40 40 76
2 77 2 1 2 12 11
1 57 3 0 40 39 77
2 78 2 1 2 9 11
1 57 3 0 40 38 78
2 79 2 1 2 6 11
1 57 3 0 40 37 79
2 80 2 1 2 12 8
1 61 3 0 40 36 80
2 81 2 1 2 9 8
1 61 3 0 40 35 81
2 82 2 1 2 6 8
1 61 3 0 40 34 82
2 84 2 1 2 14 13
1 83 3 0 39 42 84
2 85 2 1 2 11 13
1 83 3 0 39 41 85
2 86 2 1 2 8 13
1 83 3 0 39 40 86
2 88 2 1 2 14 10
1 87 3 0 39 39 88
2 89 2 1 2 11 10
1 87 3 0 39 38 89
2 90 2 1 2 8 10
1 87 3 0 39 37 90
2 92 2 1 2 14 7
1 91 3 0 39 36 92
2 93 2 1 2 11 7
1 91 3 0 39 35 93
2 94 2 1 2 8 7
1 91 3 0 39 34 94
2 95 2 1 2 13 13
1 83 3 0 38 42 95
2 96 2 1 2 10 13
1 83 3 0 38 41 96
2 97 2 1 2 7 13
1 83 3 0 38 40 97
2 98 2 1 2 13 10
1 87 3 0 38 39 98
2 99 2 1 2 10 10
1 87 3 0 38 38 99
2 100 2 1 2 7 10
1 87 3 0 38 37 100
2 101 2 1 2 13 7
1 91 3 0 38 36 101
2 102 2 1 2 10 7
1 91 3 0 38 35 102
2 103 2 1 2 7 7
1 91 3 0 38 34 103
2 104 2 1 2 12 13
1 83 3 0 37 42 104
2 105 2 1 2 9 13
1 83 3 0 37 41 105
2 106 2 1 2 6 13
1 83 3 0 37 40 106
2 107 2 1 2 12 10
1 87 3 0 37 39 107
2 108 2 1 2 9 10
1 87 3 0 37 38 108
2 109 2 1 2 6 10
1 87 3 0 37 37 109
2 110 2 1 2 12 7
1 91 3 0 37 36 110
2 111 2 1 2 9 7
1 91 3 0 37 35 111
2 112 2 1 2 6 7
1 91 3 0 37 34 112
2 114 2 1 2 14 12
1 113 3 0 36 42 114
2 115 2 1 2 11 12
1 113 3 0 36 41 115
2 116 2 1 2 8 12
1 113 3 0 36 40 116
2 118 2 1 2 14 9
1 117 3 0 36 39 118
2 119 2 1 2 11 9
1 117 3 0 36 38 119
2 120 2 1 2 8 9
1 117 3 0 36 37 120
2 122 2 1 2 14 6
1 121 3 0 36 36 122
2 123 2 1 2 11 6
1 121 3 0 36 35 123
2 124 2 1 2 8 6
1 121 3 0 36 34 124
2 125 2 1 2 13 12
1 113 3 0 35 42 125
2 126 2 1 2 10 12
1 113 3 0 35 41 126
2 127 2 1 2 7 12
1 113 3 0 35 40 127
2 128 2 1 2 13 9
1 117 3 0 35 39 128
2 129 2 1 2 10 9
1 117 3 0 35 38 129
2 130 2 1 2 7 9
1 117 3 0 35 37 130
2 131 2 1 2 13 6
1 121 3 0 35 36 131
2 132 2 1 2 10 6
1 121 3 0 35 35 132
2 133 2 1 2 7 6
1 121 3 0 35 34 133
2 134 2 1 2 12 12
1 113 3 0 34 42 134
2 135 2 1 2 9 12
1 113 3 0 34 41 135
2 136 2 1 2 6 12
1 113 3 0 34 40 136
2 137 2 1 2 12 9
1 117 3 0 34 39 137
2 138 2 1 2 9 9
1 117 3 0 34 38 138
2 139 2 1 2 6 9
1 117 3 0 34 37 139
2 140 2 1 2 12 6
1 121 3 0 34 36 140
2 141 2 1 2 9 6
1 121 3 0 34 35 141
2 142 2 1 2 6 6
1 121 3 0 34 34 142
1 143 1 0 53
1 44 1 0 143
2 145 2 1 1 14 14
2 146 2 1 2 14 14
1 144 4 1 146 42 42 145
2 147 2 1 1 11 14
2 148 2 1 2 11 14
1 144 4 1 148 42 41 147
2 149 2 1 1 8 14
2 150 2 1 2 8 14
1 144 4 1 150 42 40 149
2 152 2 1 1 14 11
2 153 2 1 2 14 11
1 151 4 1 153 42 39 152
2 154 2 1 1 11 11
2 155 2 1 2 11 11
1 151 4 1 155 42 38 154
2 156 2 1 1 8 11
2 157 2 1 2 8 11
1 151 4 1 157 42 37 156
2 159 2 1 1 14 8
2 160 2 1 2 14 8
1 158 4 1 160 42 36 159
2 161 2 1 1 11 8
2 162 2 1 2 11 8
1 158 4 1 162 42 35 161
2 163 2 1 1 8 8
2 164 2 1 2 8 8
1 158 4 1 164 42 34 163
2 165 2 1 1 13 14
2 166 2 1 2 13 14
1 144 4 1 166 41 42 165
2 167 2 1 1 10 14
2 168 2 1 2 10 14
1 144 4 1 168 41 41 167
2 169 2 1 1 7 14
2 170 2 1 2 7 14
1 144 4 1 170 41 40 169
2 171 2 1 1 13 11
2 172 2 1 2 13 11
1 151 4 1 172 41 39 171
2 173 2 1 1 10 11
2 174 2 1 2 10 11
1 151 4 1 174 41 38 173
2 175 2 1 1 7 11
2 176 2 1 2 7 11
1 151 4 1 176 41 37 175
2 177 2 1 1 13 8
2 178 2 1 2 13 8
1 158 4 1 178 41 36 177
2 179 2 1 1 10 8
2 180 2 1 2 10 8
1 158 4 1 180 41 35 179
2 181 2 1 1 7 8
2 182 2 1 2 7 8
1 158 4 1 182 41 34 181
2 183 2 1 1 12 14
2 184 2 1 2 12 14
1 144 4 1 184 40 42 183
2 185 2 1 1 9 14
2 186 2 1 2 9 14
1 144 4 1 186 40 41 185
2 187 2 1 1 6 14
2 188 2 1 2 6 14
1 144 4 1 188 40 40 187
2 189 2 1 1 12 11
2 190 2 1 2 12 11
1 151 4 1 190 40 39 189
2 191 2 1 1 9 11
2 192 2 1 2 9 11
1 151 4 1 192 40 38 191
2 193 2 1 1 6 11
2 194 2 1 2 6 11
1 151 4 1 194 40 37 193
2 195 2 1 1 12 8
2 196 2 1 2 12 8
1 158 4 1 196 40 36 195
2 197 2 1 1 9 8
2 198 2 1 2 9 8
1 158 4 1 198 40 35 197
2 199 2 1 1 6 8
2 200 2 1 2 6 8
1 158 4 1 200 40 34 199
2 202 2 1 1 14 13
2 203 2 1 2 14 13
1 201 4 1 203 39 42 202
2 204 2 1 1 11 13
2 205 2 1 2 11 13
1 201 4 1 205 39 41 204
2 206 2 1 1 8 13
2 207 2 1 2 8 13
1 201 4 1 207 39 40 206
2 209 2 1 1 14 10
2 210 2 1 2 14 10
1 208 4 1 210 39 39 209
2 211 2 1 1 11 10
2 212 2 1 2 11 10
1 208 4 1 212 39 38 211
2 213 2 1 1 8 10
2 214 2 1 2 8 10
1 208 4 1 214 39 37 213
2 216 2 1 1 14 7
2 217 2 1 2 14 7
1 215 4 1 217 39 36 216
2 218 2 1 1 11 7
2 219 2 1 2 11 7
1 215 4 1 219 39 35 218
2 220 2 1 1 8 7
2 221 2 1 2 8 7
1 215 4 1 221 39 34 220
2 222 2 1 1 13 13
2 223 2 1 2 13 13
1 201 4 1 223 38 42 222
2 224 2 1 1 10 13
2 225 2 1 2 10 13
1 201 4 1 225 38 41 224
2 226 2 1 1 7 13
2 227 2 1 2 7 13
1 201 4 1 227 38 40 226
2 228 2 1 1 13 10
2 229 2 1 2 13 10
1 208 4 1 229 38 39 228
2 230 2 1 1 10 10
2 231 2 1 2 10 10
1 208 4 1 231 38 38 230
2 232 2 1 1 7 10
2 233 2 1 2 7 10
1 208 4 1 233 38 37 232
2 234 2 1 1 13 7
2 235 2 1 2 13 7
1 215 4 1 235 38 36 234
2 236 2 1 1 10 7
2 237 2 1 2 10 7
1 215 4 1 237 38 35 236
2 238 2 1 1 7 7
2 239 2 1 2 7 7
1 215 4 1 239 38 34 238
2 240 2 1 1 12 13
2 241 2 1 2 12 13
1 201 4 1 241 37 42 240
2 242 2 1 1 9 13
2 243 2 1 2 9 13
1 201 4 1 243 37 41 242
2 244 2 1 1 6 13
2 245 2 1 2 6 13
1 201 4 1 245 37 40 244
2 246 2 1 1 12 10
2 247 2 1 2 12 10
1 208 4 1 247 37 39 246
2 248 2 1 1 9 10
2 249 2 1 2 9 10
1 208 4 1 249 37 38 248
2 250 2 1 1 6 10
2 251 2 1 2 6 10
1 208 4 1 251 37 37 250
2 252 2 1 1 12 7
2 253 2 1 2 12 7
1 215 4 1 253 37 36 252
2 254 2 1 1 9 7
2 255 2 1 2 9 7
1 215 4 1 255 37 35 254
2 256 2 1 1 6 7
2 257 2 1 2 6 7
1 215 4 1 257 37 34 256
2 259 2 1 1 14 12
2 260 2 1 2 14 12
1 258 4 1 260 36 42 259
2 261 2 1 1 11 12
2 262 2 1 2 11 12
1 258 4 1 262 36 41 261
2 263 2 1 1 8 12
2 264 2 1 2 8 12
1 258 4 1 264 36 40 263
2 266 2 1 1 14 9
2 267 2 1 2 14 9
1 265 4 1 267 36 39 266
2 268 2 1 1 11 9
2 269 2 1 2 11 9
1 265 4 1 269 36 38 268
2 270 2 1 1 8 9
2 271 2 1 2 8 9
1 265 4 1 271 36 37 270
2 273 2 1 1 14 6
2 274 2 1 2 14 6
1 272 4 1 274 36 36 273
2 275 2 1 1 11 6
2 276 2 1 2 11 6
1 272 4 1 276 36 35 275
2 277 2 1 1 8 6
2 278 2 1 2 8 6
1 272 4 1 278 36 34 277
2 279 2 1 1 13 12
2 280 2 1 2 13 12
1 258 4 1 280 35 42 279
2 281 2 1 1 10 12
2 282 2 1 2 10 12
1 258 4 1 282 35 41 281
2 283 2 1 1 7 12
2 284 2 1 2 7 12
1 258 4 1 284 35 40 283
2 285 2 1 1 13 9
2 286 2 1 2 13 9
1 265 4 1 286 35 39 285
2 287 2 1 1 10 9
2 288 2 1 2 10 9
1 265 4 1 288 35 38 287
2 289 2 1 1 7 9
2 290 2 1 2 7 9
1 265 4 1 290 35 37 289
2 291 2 1 1 13 6
2 292 2 1 2 13 6
1 272 4 1 292 35 36 291
2 293 2 1 1 10 6
2 294 2 1 2 10 6
1 272 4 1 294 35 35 293
2 295 2 1 1 7 6
2 296 2 1 2 7 6
1 272 4 1 296 35 34 295
2 297 2 1 1 12 12
2 298 2 1 2 12 12
1 258 4 1 298 34 42 297
2 299 2 1 1 9 12
2 300 2 1 2 9 12
1 258 4 1 300 34 41 299
2 301 2 1 1 6 12
2 302 2 1 2 6 12
1 258 4 1 302 34 40 301
2 303 2 1 1 12 9
2 304 2 1 2 12 9
1 265 4 1 304 34 39 303
2 305 2 1 1 9 9
2 306 2 1 2 9 9
1 265 4 1 306 34 38 305
2 307 2 1 1 6 9
2 308 2 1 2 6 9
1 265 4 1 308 34 37 307
2 309 2 1 1 12 6
2 310 2 1 2 12 6
1 272 4 1 310 34 36 309
2 311 2 1 1 9 6
2 312 2 1 2 9 6
1 272 4 1 312 34 35 311
2 313 2 1 1 6 6
2 314 2 1 2 6 6
1 272 4 1 314 34 34 313
1 315 1 0 144
1 143 2 0 315 57
1 316 2 0 315 151
1 143 2 0 316 61
1 317 2 0 316 158
1 143 2 0 317 83
1 318 2 0 317 201
1 143 2 0 318 87
1 319 2 0 318 208
1 143 2 0 319 91
1 320 2 0 319 215
1 143 2 0 320 113
1 321 2 0 320 258
1 143 2 0 321 117
1 322 2 0 321 265
1 143 2 0 322 121
1 323 2 0 322 272
1 324 1 0 323
1 44 1 0 324
1 1 1 1 44
0
6 edge(3,3)
7 edge(2,3)
8 edge(1,3)
9 edge(3,2)
10 edge(2,2)
11 edge(1,2)
12 edge(3,1)
13 edge(2,1)
14 edge(1,1)
0
B+
0
B-
1
0
1

Clasp args:

Enumerating graphs with claspD-2.0 via Emscripten

Input

Output