Links to related projects

• The MathSAT 5 SMT solver is the core of Kratos2.
• The nuXmv symbolic model checker is the main verification engine of Kratos2.
• Kratos 1 is the predecessor of Kratos2.