agilot/satapps

Scala library for solving NP-hard probems

语言：Scala · GitHub 星标：9 · Fork：0

话题：integer-programming · np-complete-problems · np-hard · sat-solver · z3

在 GitHub 上查看原仓库