search

cmu-soda / alloy-maxsat-benchmark

MIT License
0 stars 1 forks source link

Update README.md #1

Closed eskang closed 3 years ago

eskang commented 3 years ago

A few minor edits to README