Just a thanks

[msoos]

Hey, this is just a thanks for rate, it seems like a nice piece of work, much-much nicer to read than drat-trim. I will be switching to it soon. I think the SAT community should switch to it... maybe I'll write a blog post about it one time, it's pretty nice and so much easier to understand than drat-trim.

Thanks again,

Mate

[krobelus]

Wow, thanks for your kind words!

much-much nicer to read than drat-trim

Actually, among efficient DRAT checkers, gratgen is probably the easiest to fully understand, because rate adds quite some complexity to handle unit clause deletions. Still, I try to make rate as easy as possible to use and read.

I think the SAT community should switch to it

Yeah, it would be cool if rate were to be adopted by the SAT community, because I think it implements a cleaner semantics than the other proof checkers. It was originally created for my master's thesis which should be done in a few weeks, but I'll definitely keep maintaining it and add new features as needed. Since it's now mature enough for production use, I am splitting the binaries into separate crates and I'll publish them on crates.io by next week, then people can simply use cargo to install a stable version.
Nice, it can't hurt to spread the word, since it could be useful to others working with SAT!