Updates

J4NS-R committed Jan 28, 2021

Updated Home (markdown)

J4NS-R committed Jan 25, 2021

Moving grammar out

J4NS-R committed Jan 22, 2021

Added DIMACS content

J4NS-R committed Jan 21, 2021

Initial info dump

J4NS-R committed Jan 20, 2021