Installation on Windows#

Binary package#

On Windows, we provide a binary package in the form of a zip file containing the black command-line tool, the libblack.dll library, and all the needed header files and import libraries. No installation is needed, the zip archive is self-contained.

WindowsBadge

The binary package includes the Z3 backend. To use other backends, BLACK needs to be built from source. Instructions from Linux can be easily adapted, excepting that dependencies must be installed by hand.