GitHub repository: smsdigital/dry-logic
Description: Predicate logic with rule composition