 |
| |||
| automatic theorem prover for SMT problems; automatic theorem prover for satisfiability modulo theories problems (Alex_Odeychuk); automatic theorem prover for SMT problems (SMT- сокр. от "satisfiability modulo theories" – "выполнимость формул в теориях" Alex_Odeychuk) | |||