« View Structure ?

« Select Colors Select?

Formula Name     Eval

Formula ≠∧∨¬→∃∀

Name         Draw

Elements       —   -+

Relations ≠∧∨¬→∃∀

Positions ≠∧∨¬→∃∀

Saved Formulas

• Nothing here yet

Examples Diagonal Last row 2-coloring

  3-coloring 3-DNP Matching

Saved Structures

• Nothing here yet

Examples Cycle 3-partite 3x3 grid

  Primes Triangles Heart