Local ordered stronger inference

Herb-AI / HerbConstraints.jl

Constraints for Herb.jl

https://herb-ai.github.io/

MIT License

0 stars 0 forks source link

Closed Whebon closed 5 months ago

Whebon commented 5 months ago

Introduces a new propagation method for the local ordered constraint that can make stronger deductions.