search

master-keying / minisat

A minimalistic and high-performance SAT solver
minisat.se
Other
141 stars 16 forks source link

README: Update build instructions #10

Closed yati-sagade closed 3 years ago

pkeir commented 3 years ago

Will this pull-request be merged?

cernoch commented 3 years ago

Will this pull-request be merged?

Yes, for sure. I've missed this PR before.