refactor: reduce memory usage

mamba-org / resolvo

Fast package resolver written in Rust (CDCL based SAT solving)

BSD 3-Clause "New" or "Revised" License

160 stars 13 forks source link

refactor: reduce memory usage #36

Closed baszalmstra closed 1 month ago

baszalmstra commented 5 months ago

Reduce the total memory used by the solver by grouping similar datatypes together. There is still some unsafe code in here, which I want to try and clean up a little more.

baszalmstra commented 1 month ago

With #66 the memory usage has already decreased. Closing this for now.