issues
search
irfansharif
/
solver
SAT solver library in Go; wraps around Google's Operational Research Tools
Apache License 2.0
23
stars
9
forks
source link
can i use this for an rpc interface?
#10
Open
wenzhengchang
opened
2 years ago