rustsat-v0.4.0

Bug Fixes

• Set var manager in SatInstance::from_iter
• Set vm correctly in SatInstance::from(Cnf)
• Coarse convergence bounds
• Link capi tests to archive libs
• Typo in capi
• Parse empty instances correctly
• Limited connections in node db
• Next value in db-referencing gtes

Documentation

• (limited) python api documentation. For now this is only available as a zip file with this release.

Features

• Python api expose lit, clause, cnf
• Python len and indexing support for clause and cnf
• Feature switch for python api
• Python iterators
• Totalizer and comparison operators in pyapi
• Expose all encodings in python api
• Extend internal node api
• Limited connections in node db
• Constant method for objective
• Allow cloning totalizer db