Version 0.17.6

• Fix a bug at Ord::cmp for OrderedProxy<T>

Version 0.17.5

Fix a crash by floating number comparison (see #277)

Version 0.17.4

• Rename feature 'no_clause_elimination' to 'clause_elimination'
• Move ClauseIF to clause.rs
• Move ClauseDb to db.rs
• Move Var to var.rs
• Move AssignStack to stack.rs
• Move AssignStack::{assign, level, reason, reason_saved} to Var
• Fix to recycle dead clauses

Version 0.18.0-dev0

Remove incremental solver mode

Version 0.17.3

A maintenance release

Version 0.17.2

A maintenance release

• add feature platform_wasm

Version 0.17.1

A maintenance release

• documentation on incremental solver feature
• documentation on no_IO feature