Release: SLIME SO+

Fix

SLIME SO

Update index.html

SLIME 4.1

Update README.txt

FIX output

SLIME 3.1 Release

SAT Race 2019 "Secondhalf"

Merge branch 'master' of https://github.com/maxtuno/slime-sat-solver