Customized rddlsim version for my personal use
Real-time problems solved using constraint programming