SHIPs - Satisfiability-based Haplotype Inference with Pure Parsimony

A binary distribution of SHIPs is available from here.

An improvement over SHIPs is RPoly.

A recent performance comparison of different HIPP solvers is available from here. These results demonstrate that SAT/PB-based approaches still outperform all other HIPP approaches.

Print/export