package yices2
Yices2 SMT solver binding
Install
Dune Dependency
Authors
Maintainers
Sources
v0.0.2.tar.gz
md5=29425e5046be099a542d6ab5ca48ac86
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: 05 May 2017
On This Page