SATlotyper Haplotype inference from unphased SNP data in heterozygous polyploids based on SAT
Download

SATlotyper Ranking & Summary

SATlotyper Tags

inference haplotype haplotype inference inference formulator SNP to haplotype SNP2haplotype

SATlotyper Description

Haplotype inference from unphased SNP data in heterozygous polyploids based on SAT SATlotyper is a free for non-commercial usage software tool designed for inferring haplotypes from polyploid and polyallelic unphased SNP data.SATlotyper uses Boolean operators and variables to formulate Haplotype Inference by Pure Parsimony (HIPP) for the Boolean Satisfiability Problem (SAT).For finding the most parsimonious set of explaining haplotypes, SATlotyper starts with assuming one explaining haplotype and increases the number of haplotypes until a satisfying set is found.Since SAT is NP-complete, it can not be guaranteed that a solution is found in reasonable time for a given data. However, empiric tests showed that it is possible to calculate inferences for data from real world. Requirements: · Java 1.5 or later

SATlotyper Related Software