cryptominisat
cryptominisat copied to clipboard
Get rid of std::bind1st
std::bind1st is removed in C++17