Skip to content

Release 1.9.3
Compare
Choose a tag to compare
@arminbiere arminbiere released this 18 Dec 18:28
· 178 commits to master since this release
rel-1.9.3
3d346f7

Version 1.9.3

  • Fixed bogus notification if a user propagator is connected
    with ILB and after local search preprocessing and a second incremental
    call lead to an inconsistent trail to assumption mapping, which might
    have lead to an infinite loop (in very rare cases).
Assets 2
Loading