Problems
List of solved classical problems:
ADDREV | ARITH2 | FENCE1 | QCJ1 | |||
AE00 | BISHOPS | GEOPROB | RLM | |||
ANARC05B | CANDY2 | LASTDIG2 | STAMPS | |||
ANARC05I | CANDY3 | M3TILE | TEST | |||
ANARC08B | EBOXES | MAJSTOR | TRGRID | |||
ANARC09A | FAKETSP | NSTEPS | ||||
ANARC09B | FASHION | PHONELST |
TODO list of classical problems:
FCTRL2 | MMASS | ORDERS | PRIME1 | SOLDIER | ||
LINES | MUL | PON | SCAVHUNT | UJ |