rustsat-tools-v0.4.0

Features

• pb knapsack encoding
• pb assignment problem encoding
• check-solution tool to verify solutions
• Make gbmosplit work with wcnf and opb
• mo2ilp tool
• Uncapacitated facility location encoding
• Remove gaps in variable indexing
• Assign unused variables to zero by default

Miscellaneous Tasks

• Clippy
• Package for Nix