BouMS

BouMS is an anytime local search MaxSAT solver.

Changelog

Added

- Build presets for building only the library.
- C++ compatibility (`extern "C"`).

Changed

- `BouMS_params` ignores zero-weight soft clauses.
- `BouMS_params` condition for weighted instances: an instance is weighted when it has at least
  - old: one soft clause weight not equal to one.
  - new: two different soft clause weights.

Fixed

- Division-by-0 when there are zero-weight soft clauses so that the average soft clause weight is less than 1.
  The solution is to ignore those clauses.
- Potential double free when adding 0 clauses with batch clause adding.