Skip to content
Snippets Groups Projects
Select Git revision
  • 90da33c8786ac4d42aa042e73dfb85fcc2807503
  • master default protected
  • cran_version
3 results

getColDualCLP.Rd

Blame
  • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    VisB-Examples.prob2project 15.13 KiB
    {
      "name": "VisB-Examples",
      "description": "",
      "machines": [
        {
          "name": "button",
          "description": "",
          "location": "Button/button.mch",
          "lastUsedPreferenceName": "default",
          "requirements": [],
          "ltlFormulas": [],
          "ltlPatterns": [],
          "symbolicCheckingFormulas": [
            {
              "type": "INVARIANT",
              "code": "",
              "selected": true
            },
            {
              "type": "SYMBOLIC_MODEL_CHECK",
              "code": "BMC",
              "selected": true
            }
          ],
          "symbolicAnimationFormulas": [],
          "simulationItems": [],
          "testCases": [],
          "traces": [],
          "modelcheckingItems": [],
          "simulation": null,
          "visBVisualisation": "Button/button.json",
          "historyChartItems": []
        },
        {
          "name": "QueensWithEvents",
          "description": "",
          "location": "N-Queens/QueensWithEvents.mch",
          "lastUsedPreferenceName": "default",
          "requirements": [],
          "ltlFormulas": [],
          "ltlPatterns": [],
          "symbolicCheckingFormulas": [
            {
              "type": "SYMBOLIC_MODEL_CHECK",
              "code": "BMC",
              "selected": true
            },
            {
              "type": "INVARIANT",
              "code": "",
              "selected": true
            },
            {
              "type": "INVARIANT",
              "code": "SetQueen",
              "selected": true
            }
          ],
          "symbolicAnimationFormulas": [],
          "simulationItems": [],
          "testCases": [],
          "traces": [
            "traces/QueensWithEvents.prob2trace"
          ],
          "modelcheckingItems": [],
          "simulation": null,
          "visBVisualisation": "N-Queens/queens_8.json",
          "historyChartItems": []
        },
        {