rustsat-v0.6.0

Features

• External solver interface
• Batsat solver interface
• Generalize batsat interface
• lit method for Var
• Implement Default for TernaryVal
• iter method for Assignment
• is_sat for Cnf and Assignment ergonomics
• Propagate trait
• Cl as light-weight DST for clauses
• [breaking] Add evaluate, replacing is_sat
• Add generalized totalizer to capi
• Cnf::clear
• Ladder at-most-one encoding
• Bitwise at-most-one encoding
• Commander at-most-one encoding
• Bimander at-most-one encoding

Documentation

• Fix ambiguous links
• Mark internals properly
• Fix typos

Miscellaneous Tasks

• Move main crate to project root
• Pedantic clippy
• [breaking] Breaking clippy suggestions
• [breaking] Rename constraint types
• Update dependencies
• Run clippy nightly on prs
• Update dependencies
• Clippy with most-recent nightly
• Set up nix dev shell and tools package

Refactor

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

Testing

• Paths relative to manifest
• Basic kani harnesses for Var and Lit

Api

• [breaking] Mark unchecked functions as unsafe