yices2 2.6.5+gitX

Name yices2
Version 2.6.5+gitX (234bd18c7b827c53317c3a52497ec5016bb27ec6)
Summary
Description Yices 2 is a solver for Satisfiability Modulo Theories (SMT) problems.
Section devel/verilog
License GPL-3.0-or-later
Homepage https://yices.csl.sri.com/
Recipe file recipes-support/yices2/yices2_git.bb
Layer meta-hdl (master branch)
Inherits
  • autotools
  • autotools-brokensep
  • siteinfo
Dependencies
  • autoconf-native
  • automake-native
  • gmp
  • gperf-native
  • libtool-cross
  • libtool-native
  • virtual/i686-oe-linux-compilerlibs
  • virtual/i686-oe-linux-gcc
  • virtual/libc
PACKAGECONFIG options

Sources

git://github.com/SRI-CSL/yices2

Patches

None

Other branches

This recipe in other branches of meta-hdl:

Branch Recipe
master yices2 2.6.5+gitX (this recipe)