Описание тега sbv

Описание тега Вопросы с тегом
SBV - это проверка на основе SMT в Haskell. Выражайте свойства программ на Haskell и автоматически подтверждайте их с помощью решателей SMT.

SBV - это проверка на основе SMT в Haskell. Выражайте свойства программ на Haskell и автоматически подтверждайте их с помощью решателей SMT.

Библиотека SBV обеспечивает поддержку работы с символическими значениями в Haskell.