N-Prolog ver 4.36 Release Notes

📢 N-Prolog ver 4.36 Release Notes

This version focuses on fixing several issues discovered in the previous release (ver 4.35), especially concerning the stability of the AC-3 (Arc Consistency 3) algorithm integrated into clpfd.

🔧 Bug Fixes
Fixed a bug in the AC-3 algorithm
In ver 4.35, there was an implementation error in the consistency checks, which caused incorrect removal and propagation behavior. This has been corrected in this release.

Improved skipping of removed elements during generation and checking
The system previously failed to properly skip over already-deleted elements, leading to unnecessary processing. This has now been addressed.

💡 Notes
While heuristic-based search space reduction is still under development, this version should already serve well for educational purposes and learning how AC-3 operates.

As always, feedback and bug reports are very welcome!
Feel free to use this version for experiments or to deepen your understanding of constraint solving.