pumpkin-solver-v0.1.0

[0.1.0] - 2024-10-17

Added

• Lazy clause generation with eager SAT literals for all integer domains.
• VSIDS variable selection with solution-guided/phase-saving value selection.
• Support for the FlatZinc builtins for integer and boolean variables.
• Support for the cumulative global constraint through time-table filtering.
• Support for MiniZinc search annotations.
• Example model for disjunctive scheduling using the Rust API.
• Logging of various solver statistics.
• Start of a programmable search API.