rustsat-kissat-v0.3.0

Bug Fixes

• Ensure solvers are always linked statically

Features

• Kissat versions 4.0.0 and 4.0.1

Miscellaneous Tasks

• Pedantic clippy
• [breaking] Breaking clippy suggestions

Refactor

• [breaking] Make reading functions take reader by reference
• Use bindgen to generate solver bindings