| (function (window) { | |
| // This library re-implements setTimeout, setInterval, clearTimeout, clearInterval for iOS6. | |
| // iOS6 suffers from a bug that kills timers that are created while a page is scrolling. | |
| // This library fixes that problem by recreating timers after scrolling finishes (with interval correction). | |
| // This code is free to use by anyone (MIT, blabla). | |
| // Author: rkorving@wizcorp.jp | |
| var timeouts = {}; | |
| var intervals = {}; |
Click in the open space to add a node, drag from one node to another to add an edge.
Ctrl-drag a node to move the graph layout.
Click a node or an edge to select it.
When a node is selected: R toggles reflexivity, Delete removes the node.
When an edge is selected: L(eft), R(ight), B(oth) change direction, Delete removes the edge.
To see this example as part of a larger project, check out Modal Logic Playground!
| import re | |
| import json | |
| import urllib | |
| import base64 | |
| import hashlib | |
| import requests | |
| WBCLIENT = 'ssologin.js(v.1.3.18)' | |
| sha1 = lambda x: hashlib.sha1(x).hexdigest() |