examples/abbot.json at master · statsim/examples · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
[
  {
    "modelParams": {
      "name": "Abbot's Puzzle",
      "description": "The Abbot's Puzzle from \"Amusements in Mathematics, Dudeney\", n 110. If 100 bushels of corn were distributed among 100 people in such a manner that each man received three bushels, each woman two, and each child half a bushel, how many men, women, and children were there? Extra condition: there are five times as many women as men.",
      "steps": 1,
      "method": "smt",
      "table": false,
      "customCode": "",
      "include": []
    },
    "methodParams": {
      "chains": 1,
      "samples": 1000
    },
    "blocks": [
      {
        "type": "Data",
        "name": "Men",
        "show": true,
        "typeCode": 2,
        "useAsParameter": false,
        "dims": "",
        "value": "",
        "dataType": "integer",
        "units": "",
        "id": "b3388807",
        "minimized": true,
        "pos": {
          "x": -100,
          "y": 14
        }
      },
      {
        "type": "Data",
        "name": "Women",
        "show": true,
        "typeCode": 2,
        "useAsParameter": false,
        "dims": "",
        "value": "",
        "dataType": "integer",
        "units": "",
        "id": "b71986848",
        "minimized": true,
        "pos": {
          "x": 85,
          "y": 21
        }
      },
      {
        "type": "Data",
        "name": "Children",
        "show": true,
        "typeCode": 2,
        "useAsParameter": false,
        "dims": "",
        "value": "",
        "dataType": "integer",
        "units": "",
        "id": "b42660821",
        "minimized": false,
        "pos": {
          "x": 29,
          "y": 33
        }
      },
      {
        "type": "Condition",
        "typeCode": 5,
        "value": "Men + Women + Children == 100",
        "id": "b23661611",
        "minimized": false,
        "pos": {
          "x": -18,
          "y": 126
        }
      },
      {
        "type": "Condition",
        "typeCode": 5,
        "value": "Men * 3 + Women * 2 + Children * 0.5 == 100",
        "id": "b75314703",
        "minimized": false,
        "pos": {
          "x": 32,
          "y": -78
        }
      },
      {
        "type": "Condition",
        "typeCode": 5,
        "value": "Men * 5 == Women",
        "id": "b24869568",
        "minimized": false,
        "pos": {
          "x": -57,
          "y": -80
        }
      }
    ]
  }
]