Constraints Summary

• Constraints are pieces of syntax used to model real world behavior

• A constraint solver determines if a constraint has a solution

• Real arithmetic and tree constraints

• Properties of solver we expect (well-behavedness)

Previous slide

Next slide

Back to first slide

View graphic version