项目作者: pawelswoboda

项目描述 :
Construct integer linear problems pragmatically from dual decomposition based formulations. Solve them with various backends, like ILP solvers or SAT-based ones.
高级语言: C++
项目地址: git://github.com/pawelswoboda/DD_ILP.git
创建时间: 2017-11-03T14:23:40Z
项目社区:https://github.com/pawelswoboda/DD_ILP

开源协议:BSD 2-Clause "Simplified" License

下载