Version 1.0.0
·
2 commits
to main
since this release
Initial release with eight explicit constraint operators, unranked survivors, validation, and retained elimination reasons.