SATlotyper 0.1.5

从非定相的的SNP数据在杂合子多倍体

单倍型推断的基础上SAT

SATlotyper是一个软件工具，旨在从的多倍体和polyallelic UNPHASED SNP数据推断单倍型。

SATlotyper使用布尔运算符和变量的布尔可满足性问题（SAT），，制定单倍型推断的神器出山:www.shenqi73.com纯简约（HIPP）。

为了找到最吝啬的解释单倍型，SATlotyper开始，假设一个解释单倍型，单倍型，直到找到一个令人满意的集数增加。

由于SAT是NP完全问题，它不能被保证，对于一个给定的数据，一个解决方案是在合理的时间内找到。然而，经验性测试表明，它是可以从现实世界中的数据计算推论。

此外，SATlotyper给出替代解释解决方案的限制，并且能够通过一个引导程序优化的结果的可能性。

给SATlotyper多么有用，它可以为你一试！