We present a constraint solver design suited for embedded, constraint-based reactive computing. We are particularly interested in reactive control problems that involve repeated, incremental constraint processing. Starting from an analysis of such programs, we identify a set of requirements at the application level and map those to appropriate constructs at the solver level. Based on a well-defined variable life cycle, these constructs allow the program to guide the solver in a natural way when managing time and memory resources.
Back to the top.