tools/libsatsolver.git