Skip to content
Open
Overdue by 5 month(s)
Due by December 31, 2024
Last updated Jun 11, 2025
90% complete

First stable release. Expected features

  • ICN for global constraints (scalable vectors) for classical constraints
  • ICN for fixed sized constraints (is it called local?)
  • Automatic choice of ICN based on constraint properties (symmetries, number of arguments, etc.)

List view