Scuttle - A Multi-Objective MaxSAT Solver in Rust

Scuttle is a multi-objective MaxSAT solver written in Rust and based on the rustsat library and the CaDiCaL SAT solver.

Algorithms

For now the only implemented algorithm is P-minimal model enumeration.

Soh, T., Banbara, M., Tamura, N., & Le Berre, D. (2017). Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation. CP.

What's The Name

Apparently "scuttle" is one of multiple term for a group of crabs, which seemed fitting for a multi-objective solver in Rust.