The solving engine was optimized, speeding up the
benchmarks by 1.15 to 1.7 times. The assert
methods were optimized and improved, and
db-key-based duplicate entry removal was added.
The default separator bug in Go and the linked
list bug in retract were fixed. The javadocs were
improved.