v1.1.0

• Update and improve documentation
• Add documented test suite for stable features
• Bug fix for malleable clause exchange breaking in some cases

v1.0.0

First tagged release. This version is considered stable for malleable job scheduling of (non-incremental) SAT jobs. Support for incremental SAT solving is still experimental.