jix
commented
4 years ago I didn't realize I forgot to add tags, thanks for letting me know. I'll add them with the next release.
Open RedlineTriad opened 4 years ago
jix
commented
4 years ago I didn't realize I forgot to add tags, thanks for letting me know. I'll add them with the next release.
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.