package yices2
Yices2 SMT solver binding
Install
Dune Dependency
Authors
Maintainers
Sources
v0.0.3.tar.gz
sha256=2f9dfc5da61e56f49d450132325da21e1081dbde4a95a62735694e2ccd9c2b3a
md5=520065f7d81db571aacbc0e8ea3a63c7
Description
Yices is a Satisfiability Modulo Theories (SMT) solver from SRI. It is available freely for non-commercial purposes. License terms: http://yices.csl.sri.com/yices-newnewlicense.html
Published: 08 May 2017
On This Page