dev-libs/boost:=
sci-mathematics/minisat:=
virtual/zlib:=

cryptominisat?
      ( dev-db/sqlite:3 dev-libs/icu:= sci-mathematics/cryptominisat:= )

python?
      ( python_single_target_python3_12?
            ( dev-lang/python:3.12 )
       python_single_target_python3_13?
            ( dev-lang/python:3.13 )
       python_single_target_python3_14?
            ( dev-lang/python:3.14 )
       )