Yes. It uses a more convenient language than SMT-Lib to express "knowledge", and offers more functionality.