rustsat_solvertests::incremental_tests!(rustsat_batsat::BasicSolver);