 |
| |||
| SMT solver (SMT – сокр. от "satisfiability modulo theories"; Microsoft Alex_Odeychuk); satisfiability modulo theories solver (Alex_Odeychuk) | |||
| решатель задач выполнимости формул в теориях: 14 фраз в 2 тематиках |
| Искусственный интеллект | 12 |
| Программирование | 2 |