Skip to content

Version 0.17.4
Compare
Choose a tag to compare
@shnarazk shnarazk released this 28 Jan 10:57
· 1 commit to main since this release
Splr-0.17.4
59c0c1c
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
  • 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
Assets 2
Loading