Add Crates.io Tags

Open RedlineTriad opened this issue 5 years ago • 1 comments

Even though Varisat has significantly more downloads than other SAT crates, It is not shown when searching for SAT on crates.io, most likely because Varisat does not have any tags.

The library is easier to find when sorting by Recent Downloads but that shows a lot of crates unrelated to SAT.

It would be good to look at the tags of similar crates and copy them where appropriate, this should make it easier to find this library for people searching for rust SAT solvers.

Sep 17 '20 09:09 RedlineTriad

I didn't realize I forgot to add tags, thanks for letting me know. I'll add them with the next release.

Sep 17 '20 15:09 jix