Skip to content

v1.0.1
Compare
Choose a tag to compare
@dirkschumacher dirkschumacher released this 26 Jan 15:38
· 52 commits to master since this release
v1.0.1
This tag was signed with the committer’s verified signature. The key has expired.
dirkschumacher Dirk Schumacher
GPG key ID: F194AD9BC175E5D2
Expired
Learn about vigilant mode.
0c3bfb1

Bugfixes

  • additional_solver_output() is now an exported function.
Assets 2
Loading