Module bdd 

BDD-based resource conflict detection and resolution

Uses Binary Decision Diagrams to:

• Detect resource overallocation conflicts
• Find valid resource assignments
• Suggest conflict resolutions

This is a lightweight alternative to full SAT/SMT solving, using the biodivine-lib-bdd library.

Structs

BddConflictAnalyzer

BDD-based resource conflict analyzer

BddStats

BDD operation statistics

ConflictAnalysis

Result of BDD-based conflict analysis

ConflictResolution

Suggested resolution for a conflict

ResourceConflict

A resource conflict at a specific time

Enums

ShiftDirection

Direction to shift a task