wkschwartz/pigosat

Go (golang) bindings for Picosat, the satisfiability solver

语言：C · GitHub 星标：16 · Fork：4

话题：c · golang · np-complete · np-hard · optimization · optimizer · picosat · satisfiability-solver

在 GitHub 上查看原仓库