I have a project that all constraints are explained. It is very short IBM OPL code. No other program is accepted If you know IBM OPL it is very easy thing and there can be more than 1 project.
Well, I never used OPL but I am well aware of linear-programming, constraint programming etc. In the past I worked with Lindo and Z3 SMT solver, I should be able to work with this as well. Could you provide more details about the task?
I work with IBM ILOG CPLEX, but instead of using OPL I use Concert (that provides me an interface to program in C++). Anyway, it's not dificult to work with OPL, so I'm able to do this project for you.