irfansharif/solver
SAT solver library in Go; wraps around Google's Operational Research Tools
GoApache-2.0
Stargazers
- 0xstonegm
- 5k3105
- AkyuC
- aliher1911
- cwarden@octoberswimmer
- Gictorbit@openfms
- hakankSoftware Developer (Retired) / Independent Researcher
- iunary
- joshlreeseDallas, Texas
- jsign@ethereum
- kangkot
- lisp2021
- n-ozerov
- RobinKampsGermany, Münster
- rodolphoeckDublin, Ireland
- simontegg
- smcheemaToronto, ON
- sykzhongHangzhou, Zhejiang, China
- thomaspeugeot
- wenzhengchangChina
- windhooked@lunarforge
- zhangxinghao