eg. 'wrapper', 'category:python' or '"document database"'
This file looks large and may slow your browser down if we attempt to syntax highlight it, so we are showing it without any pretty colors. Highlight it anyway.
all: solver
