Problems
List of solved classical problems:
TODO list of classical problems:
BRICKS | FP | LCS | MKPALS | PIGBANK | SBANK | WORDEQ |
CHASE | INCR | MAXIMUS | PHONY | PRIME1 | TOURIST |
BRICKS | FP | LCS | MKPALS | PIGBANK | SBANK | WORDEQ |
CHASE | INCR | MAXIMUS | PHONY | PRIME1 | TOURIST |