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
Copyright © 2022, The BLACK team
Made with Sphinx and @pradyunsg's Furo