Skip to content

Incremental Improvements
Compare
Choose a tag to compare
@wsc1 wsc1 released this 21 Nov 13:56
· 51 commits to master since this release
v0.9.23
00da991
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

This release adds interface and performance improvements to incremental usage

  1. inter.S now has a Try(dur time.Duration) method without going through GoSolve
  2. phase initialisation only occurs when there are more variables
  3. sat result checking against added clauses only occurs when new clauses have been added
    and clause [de]activation is not in use.

These yield a simpler interface and 2-3x performance improvement for use cases where there are
lots of very easy Solve queries.

Assets 2
Loading