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

  • Development environment
  • API Guide
    • API Guide (C++)
      • Basic usage
      • Manipulation of formulas and terms
      • Modules
  • API Reference
    • API Reference (C++)
      • Support module
        • Assertion macros
        • Debugging utilities
        • Exception types
        • Error types
        • Pattern matching infrastructure
        • Hashing utilities
      • Logic module
        • Terms and formulas
        • Module system
      • Processing pipeline
        • Architectural elements
        • Pipeline stages
      • Solvers
    • API Reference (Python)
      • Logic module
        • Terms and formulas (Python)
  • Publications
Back to top
View this page

API Reference (C++)¶

BLACK is designed as a library embeddable into any client application. This section of the website documents its usage.

The following pages document BLACK’s C++ API.

Modules

  • Support module
  • Logic module
  • Processing pipeline
  • Solvers
Next
Support module
Previous
API Reference
Copyright © 2024, The BLACK team
Made with Sphinx and @pradyunsg's Furo