This is not a technical question, but more curious if anyone has seen any software that converts english rules into linear constraints for MILP solvers? The rules would be industry specific and not general, thus for example specifying pseudocode for a shift scheduling problem (ex: an employee cannot work 3 shift days in a row) for warehouses or in healthcare setting, so not industry generic.
Statement rules like as in the example above are turned into propositional logic. In commercial software that have something called rules engine a truth table is used to convert such rules to logical flow.
Any automation/workflow based software with rules engine may have this capability, like Capterra, process marker, SAP may have that. If searching on Google suggested search string is 'sentence based rules to logic or constraints'