Packages with the extended-solver use flag

sci-mathematics / minisat : Small yet efficient SAT solver with reference paper

  • Build extended version of SAT solver with additional features.