Home

Welcome to the Iron wiki

This wiki offers documentation about Iron.

⚠️ This Wiki is about Iron v1.x, outdated. Please check the website instead.

Summary

• Wiki pages:
  • Create a constraint
  • Constraint usage
  • Consequence
• Other:
  • Readme
  • Full Scaladoc
  • Official Modules