Skip to content

Release 1.7.2
Compare
Choose a tag to compare
@arminbiere arminbiere released this 11 Sep 09:35
· 587 commits to master since this release
rel-1.7.2
ca530d7

Version 1.7.2

  • Configuration option --safe disables writing to a file
    through popen which makes library usage safer.
Assets 2
Loading