Status?

[BillBarnhill]

Thank you for this project. I am hoping you can clear up some questions, please.

What is the status of this project in terms of maintenance and usability?

I see that you seem to be mostly working in Go and on GridScale (looks like a good product). I also see that there are still some rough edges on the project.

Also, what are your plans for the future of the project?

[bkircher]

Oh well. Got held up by RL and $dayjob. There's some code somewhere on my machine that has some fancy lifetime stuff for wrapping libsolv objects. Nothing anybody would care for. Also, there's a tricky linked list C implementation in libsolv that is no fun wrapping IIRC.

Other thought is: maybe just write test cases that run against libsolv and try to reimplement the solver. I mean it's just a SAT solver. How hard can it be? 🤣

Yeah well. Holiday is are already planned with other projects.