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

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

python?
      ( python_single_target_python3_10?
            ( dev-lang/python:3.10 )
       python_single_target_python3_11?
            ( dev-lang/python:3.11 )
       python_single_target_python3_12?
            ( dev-lang/python:3.12 )
       )