All Git Users → wkschwartz

1 open source projects by wkschwartz

[ Open user page on Github ]

Go (golang) bindings for Picosat, the satisfiability solver

✭ 15

c go optimization optimizer np-hard np-complete satsolver picosat satisfiability-solver

1-1 of 1 user projects