The latest version of yices is 0.0.0.12-0.
lib:yices
Modules
Dependencies
- base lib:base >=4 && <5
- parsec lib:parsec >=0
- process lib:process >=0
- template-haskell lib:template-haskell >=0
- th-lift lib:th-lift >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- afv exe:afv
- atom lib:atom
- cao exe:cao
- fault-tree lib:fault-tree
- improve lib:improve