Varisat 0.2.1

• Improved API for constructing formulas (#54 and #55)
• Fix proof generation when the formula contains duplicated unit clauses (#26)
• Configurable search parameters (#39)
• Proofs for satisfiable instances (#47)
• Proofs for incremental solving (#48)
• Reduce size of proofs in native format (#42)
• Split independent parts into individual crates with re-exports (#51)

Varisat 0.2.0

Merge #12

12: Release Varisat 0.2.0 r=jix a=jix



Co-authored-by: Jannis Harder <me@jix.one>