Este programa é um solucionador SAT (problema de satisfação booleana) moderno e completo. Ele possui recursos avançados e é capaz de trabalhar com múltiplas threads, o que o torna mais rápido e eficiente. Além disso, ele simplifica o processo de resolução de problemas SAT. O nome do programa é cryptominisat5. 