Source Package yices

Subpackages

• yices - SMT solver
• yices-devel - Development files for yices
• yices-doc - Documentation for yices
• yices-tools - Command line tools that use the yices library