Spock 1.0 для macOS может быть загружена с нашего сайта бесплатно.
Этот файл загрузки был проверен нашим встроенным антивирусом, который отметил его как полностью безопасный для использования.
Эта бесплатная программа для Mac OS X принадлежит joergp. Программа принадлежит к категории Разработчикам, а точнее к подкатегории Средства отладки.
От разработчика:
Spock is an open source prototype tool for debugging logic programs under the answer-set semantics. This easy-to-use tool provides debugging methods for propositional programs in DLV or Smodels syntax. The implemented techniques rely on ASP-meta-programming.
Мы предлагаем оценить другие macOS программы, такие как Light Source Measure Tool, Canon IJ Network Tool или Discovery Tool, которые часто используются вместе с Spock.