Version 1.1
Instructions: Choose mode at bottom, then click rectangular buttons to turn the bubbles green.
Current features:
- Right clicking on a button or bubble highlights its dependencies.
- Selecting "highlight on hover" will highlight dependencies when the mouse is over a button or bubble.
- Left clicking and dragging draws a red rectangle, enabling selection of a subset of clauses.
- The darker gray the clause, the closer it is to turning red.
Applet not working? Install Java Version 1.5 or later.
| Rules | About | SAT Tutorial |