logic-based solutions Delivered