cryptominisat 5.11.21+gitX

Name cryptominisat
Version 5.11.21+gitX (4c9a6b6b459b7c1381744115ccfe744f1121794b)
Summary
Description CryptoMiniSat is an advanced incremental SAT solver.
Section devel/verilog
License MIT
Homepage https://www.msoos.org
Recipe file recipes-support/cryptominisat/cryptominisat_git.bb
Layer meta-hdl (master branch)
Inherits
  • cmake
  • python3-dir
  • python3native
Dependencies
  • boost
  • cmake-native
  • ninja-native
  • python3-native
  • virtual/i686-oe-linux-compilerlibs
  • virtual/i686-oe-linux-gcc
  • virtual/libc
PACKAGECONFIG options

Sources

git://github.com/msoos/cryptominisat

Patches

None

Other branches

This recipe in other branches of meta-hdl:

Branch Recipe
master cryptominisat 5.11.21+gitX (this recipe)