我想使用ILP解算器（例如lp_solve）来找到优化问题的解决方案。
挑战在于，某些约束过于复杂而无法形式化为线性语句，但可以使用模拟框架进行验证。
所以我需要运行求解器，根据我的复杂约束检查解决方案，如果不满意，继续使用次优解决方案等。
是否有一个求解器不仅提供最优解，而且最佳n 解决方案关于给定目标函数？
答案 0 :(得分：2)
是的，有：
解算器通过解决方案池支持它，
或者您必须通过解算器API提供的回调函数自行构建此解决方案池。
在后一种情况下，只要找到一个新的更好的解决方案，就会调用相应的回调函数，直到达到该点的最佳解决方案。我所知道的所有着名解算器都支持第二种选择。
有关此主题的更多信息：