SAT, its extensions and SMT solvers are heavily used in bioinformatics. For example in genetics and for protein folding problems.