GitHub repository: rddl-network/RIP
Description: RDDL Enhancements Proposals