begin of dictionary class
maxsat
Makefile and first definitions
temp commit (by cron)
0-1 kp
spc kp
formal environment
formal environment
brackets
formal bkp
temp commit (by cron)
specials
modify title
better formal env
introduction
introduction
introduction
formal multiple choice
formal multiple choice
subset sum