Publish a new release to crates.io

[bcmpinc]

This package had some useful improvements (#2, #3, #4 and #6) since its last release. Would it be possible to create a new release and push it to crates.io?

[Robbepop]

Hi @bcmpinc
I haven't worked on this crate in literal years. Even the commits you mentioned are many years old.

Also note that I have released another crate for a similar purpose with much better performance:
https://crates.io/crates/cnf-parser

If you need this crate in particular and your use case is not met by the cnf-parser crate I could push out a release for you.

[bcmpinc]

Hi @Robbepop
Thanks for your reply. I honestly did not expect one, but thought its worth a shot. Worst case my issue would mark the repo as no longer maintained.

I did not know about the cnf-parser. I searched for dimacs on crates.io, so it didn't turn up. I only need the cnf parser, so that crate will work fine. The API is a little harder to use, but I got it working.

If you do decide to push a new release for this dimacs crate, make sure to update the readme to mark it as deprecated in favour of cnf-parser.