Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
BLACK • Bounded Lᴛʟ sAtisfiability ChecKer
BLACK • Bounded Lᴛʟ sAtisfiability ChecKer

Contents

  • Installation
    • Installation on Linux
    • Installation on macOS
    • Installation on Windows
  • Supported logics
  • Command-line interface
  • Input syntax
  • Publications
Back to top
View this page

Installation¶

BLACK should be easy to install on all the supported platforms. See the following pages depending on your system.

Platforms

  • Installation on Linux
    • Binary packages
    • Compilation from source
      • Dependencies
        • Debian-based distributions
        • RedHat-based distributions
      • Compilation
  • Installation on macOS
    • Easy installation with Homebrew
    • Compilation from source
      • Dependencies
      • Compilation
  • Installation on Windows
    • Binary package
Next
Installation on Linux
Previous
Home
Copyright © 2022, The BLACK team
Made with Sphinx and @pradyunsg's Furo