This package provides a CLI wrapper for the ddnnife Docker container.
We recommend using ddnnife-cli in a virtual environment.
python3 -m venv .venv
source .venv/bin/activate
pip install ddnnife-cliAfterwards, you can run ddnnife-cli via
ddnnife-clipython -m ddnnife_cli
In the case that the default image and tag (ghcr.io/softvare-group/ddnnife:main-amd64) cannot be found on your system, ddnnife-cli can pull it for you. You may also specify --image and --tag to use another image and tag.
Afterwards, you can use ddnnife as described in its documentation. For instance to count the number of satisfying solutions in a DIMACS file:
ddnnife-cli --input <your-input-file>.dimacsOr to compute a uniform random sample of size 1024:
ddnnife-cli --input <your-input-file>.dimacs -- urs -n 1024