A weighted sum with custom constraints tool created by Jean Sung for the Final Project in Domain Specific Languages, Fall 2014. The project's updates and how to install/run instructions can be found here. Keep up with the progress by visiting the project notebook.
Sum Plus Plus is a tool to help you organize your thoughts regarding possible combinations of weighted types to satisfy custom constraints.
Please see this project's website for instructions on installing, and running the program.