Soufflé provides a straightforward installation experience across multiple platforms, ensuring that researchers and developers can quickly set up the Datalog synthesis tool for their static analysis workflows. For Debian-based systems, the project maintains both stable and unstable Personal Package Archives, allowing users to choose between well-tested releases or the latest development builds with cutting-edge features. macOS users can also access pre-built packages through the project's release channels, alongside source archives for those who prefer to compile from source. The package manager integration simplifies dependency handling and keeps the tool up to date with the latest optimizations and bug fixes. Once installed, Soufflé’s command-line interface enables rapid prototyping of logic programs, the translation of declarative Datalog specifications into efficient parallel C++ code, and deep exploration of program analysis design spaces through its specialized compilation pipeline.