Allow using device id#91

Merged

alonre24 merged 3 commits intomasterfrom

allow_using_device_id

Dec 1, 2021

Commits on Nov 30, 2021

Add the option to use device id (i.e., "cpu\gpu:<number>", instead of just "cpu/gpu")
alonre24
committed
Add the option to use device id (i.e., "cpu\gpu:<number>", instead of just "cpu/gpu")
alonre24
committed
Merge remote-tracking branch 'origin/allow_using_device_id' into allow_using_device_id
alonre24
committed