minisat+-invocation
make-environment
c++11
spelling
