mod base {
    rustsat_solvertests::base_tests!(rustsat_batsat::BasicSolver, false, true);
}