Kratos is related to other verification tools or engines.
In particular Kratos is built on top of an extended version of NuSMV that is tightly integrated with MathSAT.
Tools related to Kratos are the following:
kratos@list.fbk.eu
login