However, the search process employed by smodels and other answer set solvers is not based on trial and error.
Однако, сам процесс поиска, который принимает smodels и другие наборы решателей не основаны методе проб и ошибок.