BLACK

Bounded Lᴛʟ sAtisfiability ChecKer

Welcome to BLACK’s website.

BLACK is a temporal reasoning framework for Linear Temporal Logic (LTL) and related logics.

BLACK is open-source and released under the MIT license. For its source code, look at its GitHub repository.

Note

This is the documentation for the development branch, which is undergoing a major overhaul of the whole system. Please refer to stable releases if you want to use BLACK.

Contents

• Development environment
  • Build dependencies
  • Building instructions
• API Guide
  • API Guide (C++)
• API Reference
  • API Reference (C++)
  • API Reference (Python)
• Publications