The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces.
Alan BorningBjørn N. Freeman-BensonPublished in: CP (1995)
Keyphrases
- constraint solver
- graphical user interfaces
- constraint solving
- linear constraints
- constraint propagation
- constraint programming
- user interface
- constraint satisfaction problems
- constraint satisfaction
- graphical user interface
- constraint solvers
- finite domain
- visual representation
- sat solvers
- real numbers
- constraint logic programming
- user friendly
- path consistency
- arc consistency algorithm
- search algorithm
- combinatorial problems
- open source
- scripting language
- case study