3 ms·
Yes. It uses a more convenient language than SMT-Lib to express "knowledge", and offers more functionality.
by pcarbonn 3y ago
Yes. It uses a more convenient language than SMT-Lib to express "knowledge", and offers more functionality.
loading thread…