LogicNG v2.0.2 Release Notes

Release Date: 2020-09-19 // 8 months ago
  • ๐Ÿ›  Fixed

    • ๐Ÿ›  Fixed another bug for a special case in the DRUP proof generation

Previous changes from v2.0.1

  • ๐Ÿ›  Fixed

    • ๐Ÿ›  Fixed a bug for a special case in the DRUP proof generation