| .. | | 16-Nov-2020 | - |
| binpacking/ | H | 16-Nov-2020 | - | 582 | 325 |
| cumulative/ | H | 16-Nov-2020 | - | 3,400 | 1,834 |
| diffn/ | H | 16-Nov-2020 | - | 1,497 | 843 |
| geost/ | H | 16-Nov-2020 | - | 6,387 | 2,639 |
| knapsack/ | H | 16-Nov-2020 | - | 2,596 | 1,091 |
| netflow/ | H | 16-Nov-2020 | - | 4,637 | 2,424 |
| regular/ | H | 16-Nov-2020 | - | 2,067 | 952 |
| replace/ | H | 16-Nov-2020 | - | 80 | 29 |
| table/ | H | 16-Nov-2020 | - | 1,142 | 707 |
| AbsXeqY.java | H A D | 16-Nov-2020 | 10.2 KiB | 364 | 201 |
| Alldiff.java | H A D | 16-Nov-2020 | 10.6 KiB | 347 | 216 |
| Alldifferent.java | H A D | 16-Nov-2020 | 7.4 KiB | 264 | 147 |
| Alldistinct.java | H A D | 16-Nov-2020 | 66 KiB | 1,857 | 998 |
| Among.java | H A D | 16-Nov-2020 | 10.7 KiB | 308 | 139 |
| AmongVar.java | H A D | 16-Nov-2020 | 44.8 KiB | 1,174 | 797 |
| And.java | H A D | 16-Nov-2020 | 6.1 KiB | 202 | 101 |
| AndBool.java | H A D | 16-Nov-2020 | 3.4 KiB | 118 | 46 |
| AndBoolSimple.java | H A D | 16-Nov-2020 | 5.2 KiB | 165 | 78 |
| AndBoolVector.java | H A D | 16-Nov-2020 | 9.4 KiB | 340 | 196 |
| ArgMax.java | H A D | 16-Nov-2020 | 7.9 KiB | 267 | 149 |
| ArgMin.java | H A D | 16-Nov-2020 | 7.7 KiB | 270 | 147 |
| Assignment.java | H A D | 16-Nov-2020 | 11.1 KiB | 375 | 172 |
| AtLeast.java | H A D | 16-Nov-2020 | 7.4 KiB | 276 | 158 |
| AtMost.java | H A D | 16-Nov-2020 | 7.4 KiB | 277 | 159 |
| BoolClause.java | H A D | 16-Nov-2020 | 8.4 KiB | 294 | 162 |
| Channel.java | H A D | 16-Nov-2020 | 6.3 KiB | 255 | 142 |
| Circuit.java | H A D | 16-Nov-2020 | 12 KiB | 413 | 250 |
| CircuitVar.java | H A D | 16-Nov-2020 | 3.7 KiB | 131 | 57 |
| CircuitVarValue.java | H A D | 16-Nov-2020 | 2.5 KiB | 92 | 38 |
| Conditional.java | H A D | 16-Nov-2020 | 5.3 KiB | 192 | 97 |
| Constraint.java | H A D | 16-Nov-2020 | 15.4 KiB | 495 | 215 |
| Count.java | H A D | 16-Nov-2020 | 7.6 KiB | 278 | 151 |
| CountBounds.java | H A D | 16-Nov-2020 | 7.5 KiB | 273 | 149 |
| CountValues.java | H A D | 16-Nov-2020 | 8.6 KiB | 307 | 176 |
| CountValuesBounds.java | H A D | 16-Nov-2020 | 9.5 KiB | 365 | 216 |
| CountVar.java | H A D | 16-Nov-2020 | 8 KiB | 282 | 157 |
| Cumulative.java | H A D | 16-Nov-2020 | 43.8 KiB | 1,165 | 764 |
| CumulativeProfiles.java | H A D | 16-Nov-2020 | 2.9 KiB | 95 | 42 |
| DecomposedConstraint.java | H A D | 16-Nov-2020 | 8.9 KiB | 223 | 108 |
| Diff.java | H A D | 16-Nov-2020 | 34.3 KiB | 922 | 572 |
| Diff2.java | H A D | 16-Nov-2020 | 21.9 KiB | 599 | 335 |
| Diff2Var.java | H A D | 16-Nov-2020 | 3.5 KiB | 120 | 57 |
| Diff2VarValue.java | H A D | 16-Nov-2020 | 3.1 KiB | 115 | 48 |
| DiffnProfile.java | H A D | 16-Nov-2020 | 2.9 KiB | 83 | 32 |
| Disjoint.java | H A D | 16-Nov-2020 | 18.7 KiB | 506 | 296 |
| DisjointCondVar.java | H A D | 16-Nov-2020 | 3.8 KiB | 127 | 62 |
| DisjointCondVarValue.java | H A D | 16-Nov-2020 | 3 KiB | 109 | 48 |
| DisjointConditional.java | H A D | 16-Nov-2020 | 38.9 KiB | 947 | 588 |
| DisjointConditionalProfile.java | H A D | 16-Nov-2020 | 3.1 KiB | 86 | 33 |
| Distance.java | H A D | 16-Nov-2020 | 11.9 KiB | 353 | 165 |
| Element.java | H A D | 16-Nov-2020 | 8.4 KiB | 247 | 82 |
| ElementInteger.java | H A D | 16-Nov-2020 | 15.3 KiB | 439 | 198 |
| ElementIntegerFast.java | H A D | 16-Nov-2020 | 12.1 KiB | 335 | 175 |
| ElementVariable.java | H A D | 16-Nov-2020 | 14.7 KiB | 413 | 225 |
| ElementVariableFast.java | H A D | 16-Nov-2020 | 9 KiB | 271 | 123 |
| Eq.java | H A D | 16-Nov-2020 | 7 KiB | 234 | 129 |
| EqBool.java | H A D | 16-Nov-2020 | 9.8 KiB | 351 | 197 |
| ExclusiveItem.java | H A D | 16-Nov-2020 | 1.9 KiB | 72 | 23 |
| ExclusiveList.java | H A D | 16-Nov-2020 | 3.4 KiB | 118 | 63 |
| ExtensionalConflictVA.java | H A D | 16-Nov-2020 | 21.7 KiB | 745 | 401 |
| ExtensionalSupportMDD.java | H A D | 16-Nov-2020 | 7.5 KiB | 246 | 95 |
| ExtensionalSupportSTR.java | H A D | 16-Nov-2020 | 20.4 KiB | 675 | 325 |
| ExtensionalSupportVA.java | H A D | 16-Nov-2020 | 18 KiB | 633 | 331 |
| GCC.java | H A D | 16-Nov-2020 | 41.2 KiB | 1,275 | 766 |
| IfThen.java | H A D | 16-Nov-2020 | 8.8 KiB | 305 | 186 |
| IfThenBool.java | H A D | 16-Nov-2020 | 6.4 KiB | 246 | 119 |
| IfThenElse.java | H A D | 16-Nov-2020 | 10.9 KiB | 369 | 226 |
| Implies.java | H A D | 16-Nov-2020 | 6.6 KiB | 230 | 128 |
| In.java | H A D | 16-Nov-2020 | 3.9 KiB | 143 | 57 |
| IntRectangle.java | H A D | 16-Nov-2020 | 4 KiB | 149 | 92 |
| IntTask.java | H A D | 16-Nov-2020 | 1.8 KiB | 65 | 19 |
| Lex.java | H A D | 16-Nov-2020 | 16.4 KiB | 447 | 281 |
| LexOrder.java | H A D | 16-Nov-2020 | 12.2 KiB | 448 | 276 |
| Linear.java | H A D | 16-Nov-2020 | 20.9 KiB | 682 | 409 |
| LinearInt.java | H A D | 16-Nov-2020 | 21.5 KiB | 745 | 478 |
| LinearIntDom.java | H A D | 16-Nov-2020 | 15.7 KiB | 465 | 258 |
| Max.java | H A D | 16-Nov-2020 | 5.9 KiB | 210 | 100 |
| MaxSimple.java | H A D | 16-Nov-2020 | 3.6 KiB | 122 | 42 |
| Member.java | H A D | 16-Nov-2020 | 6.1 KiB | 257 | 137 |
| Min.java | H A D | 16-Nov-2020 | 6.2 KiB | 218 | 103 |
| MinSimple.java | H A D | 16-Nov-2020 | 3.6 KiB | 123 | 42 |
| NoGood.java | H A D | 16-Nov-2020 | 12 KiB | 352 | 163 |
| Not.java | H A D | 16-Nov-2020 | 4.2 KiB | 136 | 64 |
| Or.java | H A D | 16-Nov-2020 | 6 KiB | 200 | 99 |
| OrBool.java | H A D | 16-Nov-2020 | 3.4 KiB | 120 | 46 |
| OrBoolSimple.java | H A D | 16-Nov-2020 | 5.6 KiB | 173 | 83 |
| OrBoolVector.java | H A D | 16-Nov-2020 | 9.3 KiB | 330 | 179 |
| PrimitiveConstraint.java | H A D | 16-Nov-2020 | 6.8 KiB | 196 | 79 |
| Profile.java | H A D | 16-Nov-2020 | 9.4 KiB | 235 | 154 |
| ProfileConditional.java | H A D | 16-Nov-2020 | 10 KiB | 244 | 163 |
| ProfileItem.java | H A D | 16-Nov-2020 | 10.7 KiB | 323 | 136 |
| ProfileItemCondition.java | H A D | 16-Nov-2020 | 7.4 KiB | 204 | 128 |
| Rectangle.java | H A D | 16-Nov-2020 | 10.2 KiB | 353 | 203 |
| RectangleWithCondition.java | H A D | 16-Nov-2020 | 2.2 KiB | 79 | 31 |
| Reified.java | H A D | 16-Nov-2020 | 6.9 KiB | 221 | 127 |
| Sequence.java | H A D | 16-Nov-2020 | 6.6 KiB | 191 | 92 |
| SoftAlldifferent.java | H A D | 16-Nov-2020 | 6.9 KiB | 212 | 111 |
| SoftGCC.java | H A D | 16-Nov-2020 | 26.1 KiB | 681 | 376 |
| Stretch.java | H A D | 16-Nov-2020 | 5.2 KiB | 164 | 74 |
| Subcircuit.java | H A D | 16-Nov-2020 | 12.8 KiB | 449 | 263 |
| Sum.java | H A D | 16-Nov-2020 | 8.1 KiB | 297 | 152 |
| SumBool.java | H A D | 16-Nov-2020 | 12.3 KiB | 427 | 255 |
| SumInt.java | H A D | 16-Nov-2020 | 15.6 KiB | 594 | 348 |
| SumWeight.java | H A D | 16-Nov-2020 | 12.8 KiB | 452 | 252 |
| SumWeightDom.java | H A D | 16-Nov-2020 | 22.6 KiB | 698 | 373 |
| Task.java | H A D | 16-Nov-2020 | 3.2 KiB | 129 | 70 |
| ValuePrecede.java | H A D | 16-Nov-2020 | 7.9 KiB | 288 | 164 |
| Values.java | H A D | 16-Nov-2020 | 7 KiB | 213 | 107 |
| VariableTrace.java | H A D | 16-Nov-2020 | 4.1 KiB | 156 | 68 |
| ViolationMeasure.java | H A D | 16-Nov-2020 | 1.8 KiB | 49 | 6 |
| XdivYeqZ.java | H A D | 16-Nov-2020 | 5.3 KiB | 178 | 70 |
| XeqC.java | H A D | 16-Nov-2020 | 3.6 KiB | 134 | 50 |
| XeqY.java | H A D | 16-Nov-2020 | 3.9 KiB | 147 | 58 |
| XexpYeqZ.java | H A D | 16-Nov-2020 | 5.7 KiB | 188 | 86 |
| XgtC.java | H A D | 16-Nov-2020 | 3.2 KiB | 118 | 46 |
| XgtY.java | H A D | 16-Nov-2020 | 3.6 KiB | 127 | 52 |
| XgteqC.java | H A D | 16-Nov-2020 | 3.3 KiB | 120 | 46 |
| XgteqY.java | H A D | 16-Nov-2020 | 3.5 KiB | 130 | 52 |
| XltC.java | H A D | 16-Nov-2020 | 3.2 KiB | 117 | 46 |
| XltY.java | H A D | 16-Nov-2020 | 3.6 KiB | 132 | 52 |
| XlteqC.java | H A D | 16-Nov-2020 | 3.3 KiB | 118 | 46 |
| XlteqY.java | H A D | 16-Nov-2020 | 3.5 KiB | 128 | 52 |
| XmodYeqZ.java | H A D | 16-Nov-2020 | 7.8 KiB | 267 | 149 |
| XmulCeqZ.java | H A D | 16-Nov-2020 | 4.5 KiB | 165 | 67 |
| XmulYeqC.java | H A D | 16-Nov-2020 | 5.2 KiB | 190 | 79 |
| XmulYeqZ.java | H A D | 16-Nov-2020 | 4.9 KiB | 172 | 70 |
| XneqC.java | H A D | 16-Nov-2020 | 3.2 KiB | 119 | 46 |
| XneqY.java | H A D | 16-Nov-2020 | 3.8 KiB | 144 | 57 |
| Xor.java | H A D | 16-Nov-2020 | 6.8 KiB | 226 | 122 |
| XorBool.java | H A D | 16-Nov-2020 | 7.5 KiB | 264 | 147 |
| XplusCeqZ.java | H A D | 16-Nov-2020 | 4.3 KiB | 165 | 67 |
| XplusClteqZ.java | H A D | 16-Nov-2020 | 3.9 KiB | 147 | 58 |
| XplusYeqC.java | H A D | 16-Nov-2020 | 4.9 KiB | 173 | 74 |
| XplusYeqZ.java | H A D | 16-Nov-2020 | 5.7 KiB | 190 | 79 |
| XplusYgtC.java | H A D | 16-Nov-2020 | 3.9 KiB | 144 | 58 |
| XplusYlteqZ.java | H A D | 16-Nov-2020 | 3.7 KiB | 134 | 50 |