TE
TechEcho
Home
24h Top
Newest
Best
Ask
Show
Jobs
English
GitHub
Twitter
Home
A new memory-safe SAT solver for package management in Rust (port of libsolv)
9 points
by
droelf
almost 2 years ago
no comments
no comments