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

Support module¶

Contents

  • Assertion macros
  • Debugging utilities
  • Exception types
  • Error types
  • Pattern matching infrastructure
  • Hashing utilities
Next
Assertion macros
Previous
API Reference (C++)
Copyright © 2024, The BLACK team
Made with Sphinx and @pradyunsg's Furo