LogicNG v1.5.2 Release Notes
Release Date: 2019-07-15 // almost 5 years ago-
🔄 Changed
- Clarified behaviour of the
Backbone
object
🛠 Fixed
- 🛠 Fixed caching behaviour when using a
sat()
call without assumptions after a call with assumptions
- Clarified behaviour of the