« Changelog History


LogicNG v2.0.1 Release Notes

Release Date: 2020-09-18 // over 3 years ago

  • 🛠 Fixed

    • 🛠 Fixed a bug for a special case in the DRUP proof generation