3 rm -fv LICENSE
*.cc
*.h
4 git clone
--depth 1 https
://github.com
/niklasso
/minisat minisat_upstream
5 rm minisat_upstream
/minisat
/*/Main.cc
6 mv minisat_upstream
/LICENSE minisat_upstream
/minisat
/*/*.
{h
,cc
} .
7 rm -rf minisat_upstream
9 sed -i -e 's,^#include *"minisat/[^/]\+,#include "libs/minisat,' *.cc
*.h
10 sed -i -e 's/PRIi64/ & /' Options.h
11 sed -i -e '1 i #define __STDC_LIMIT_MACROS' *.cc
12 sed -i -e '1 i #define __STDC_FORMAT_MACROS' *.cc