boolector 3.2.4+gitX

Name boolector
Version 3.2.4+gitX (43dae91c1070e5e2633e036ebd75ffb13fe261e1)
Summary
Description Boolector is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Section devel/verilog
License MIT
Homepage https://boolector.github.io/
Recipe file recipes-support/boolector/boolector_git.bb
Layer meta-hdl (master branch)
Inherits
  • cmake
  • python3-dir
  • python3native
Dependencies
  • btor2tools
  • cmake-native
  • cryptominisat
  • ninja-native
  • python3-native
  • virtual/i686-oe-linux-compilerlibs
  • virtual/i686-oe-linux-gcc
  • virtual/libc
PACKAGECONFIG options

Sources

git://github.com/Boolector/boolector

Patches

None

Other branches

This recipe in other branches of meta-hdl:

Branch Recipe
master boolector 3.2.4+gitX (this recipe)