rustsat-minisat-v0.4.0

Features

• Propagate trait

Miscellaneous Tasks

• Pedantic clippy

Refactor

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