Monday, 04/19/2021


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 for a brief student implementation! this looks very interesting as well - shifting responsibility to the programming language from the OS! figure out what this is!