« Changelog History


LogicNG v2.0.2 Release Notes

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

  • 🛠 Fixed

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