Commit History

  1. Add optimality note: exhaustive enumeration confirms magnitude 3 is minimum

    CharlesCNorton
    73126c7

  1. Rename from tiny-OR-verified

    Verified signature
    3ded640
  2. initial commit

    Verified signature
    32545fd