sat-group/open-wbo

Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver

语言：C++ · GitHub 星标：78 · Fork：16

在 GitHub 上查看原仓库