clips-exec

Towards CLIPS-based Task Execution and Monitoring with SMT-based Decision Optimization