| # Test parallel spec. | |
| Search Inactive | |
| touch search bar -> Search Active | |
| Search Active& | |
| touch cancel -> Search Inactive | |
| touch result -> View Result | |
| text input -> Loading |
| enum V {v1, v2, v3, v4, v5, v6, v7, v8, v9} | |
| sig Cell { | |
| val: V, | |
| row: V, | |
| col: V | |
| } | |
| pred disjointSubgrid[rows: set V, cols: set V]{ |
| LoadingAnimation | |
| Loading | |
| next -> AlmostDone | |
| AlmostDone | |
| next -> Finished | |
| Finished | |
| next -> App | |
| App |
Given a 5 quart jug, a 3 quart jug, and unlimited supply of water, can you measure exactly 4 quarts? (The jugs are irregularly shaped, so you can't eyeball half the volume or anything like that.)
The solution involves pouring water between the jugs.
I wanted to see if I could solve this puzzle with Alloy. My first attempt (specific.als) hardcodes the two jugs as named relations. It solves the puzzle (finds a counterexample) in about 500ms.
| Commenting | |
| # Comments are associated with the state/transition directly below them. | |
| # Hover over the red circle in the diagram to read the comment as a tooltip. | |
| A | |
| B | |
| C |
| Embedding Figma frames | |
| Shop | |
| click Tickets -> Tickets | |
| Tickets | |
| click Shop -> Shop | |
| JSX example |
| # A sketch with characters beyond ASCII | |
| матрёшка | |
| closed | |
| α -> open | |
| open | |
| β -> closed |
| My Awesome Sketch | |
| First State | |
| some event -> Second State | |
| Second State |