Como o Pablo disse , quanto mais ferramenta melhor, eu tenho a BST, e acho que é a melhor em custo Benefício junto com a z3 e a octopus é uma Boa, minha única dúvida é sobre o futuro dela.
A asansam acho muito complicada de trabalhar já tive e vendi por esse motivo.
O Software chimera é muito prático mais não uso ainda.