This process, known as blastocyst complementation, involves injecting rat stem cells into mouse blastocysts—early-stage embryos lacking the ability to develop a pancreas due to genetic mutations.

The repository contains Ranker, a tool tool for complementation of Buchi automata. Ranker implements several optimized constructions tailored for certain automata types (e.g., inherently weak, ...