images/nvcr-io-nvidia-l4t-jetpack-r36-4-0: links for boolean-solver-gui