skelf-research
Natural language to constraint solver. Describe optimization problems in English, get mathematically guaranteed solutions.