GitHub repository: protostellarsun/minizinc
Description: A declarative modelling language for discrete optimization problems