## 18:21 for the future:

implement a SAT solver to learn how it works try to incorporate elements
of that paper which is super cool check out
<https://github.com/max-heller/sat> for a brief student implementation!
<https://github.com/theseus-os/Theseus> this looks very interesting as
well - shifting responsibility to the programming language from the OS!
figure out what this is! <https://github.com/BillHallahan/G2>