Semen Solver: a tool for optimizing semen strategy given various target replacement rates

---