v0.4.0

Official release to go along with our TACAS'25 paper.

• Proof logging in VeriPB format, certifying that all non-dominated points were discovered
• MaxPre preprocessing is now opt-in at compile time
• Dropped support for objective encodings other than the (generalized) totalizer

Version 0.3.1

Minor bug fixes in core boosting.

Version 0.3.0

Official release to go along with our CPAIOR'24 paper.

• Adding support for the BiOptSat (Sat-Unsat) algorithm
• Core boosting

Version 0.2.0

Separated solver scaffolding from algorithm to allow for different algorithms in the same solver.
Included lower-bounding algorithm.

Version 0.1.0

Initial release along our CP'23 paper "Preprocessing for SAT-Based Multi-Objective Combinatorial Optimization".