Emilia

A very simple SAT solver. My goal is experimenting with creating a
declarative module system, which requires finding an arrangement that
satisfies all of the modules' requirements (e.g. the ordering that the
modules requested is satisfied, there are no conflicting values, etc). I
may end up using something other than SAT for that purpose, so I suppose
this will be my area for theorem proving experimentation.

Random resources:

• http://minisat.se/downloads/MiniSat.pdf
• https://codingnest.com/modern-sat-solvers-fast-neat-and-underused-part-3-of-n/
• https://www.cs.ubc.ca/labs/isd/Projects/monosat/smmt.pdf
• http://web.archive.org/web/20231128190422/https://cse.unl.edu/~choueiry/S18-235H/files/SATslides07.pdf
• https://cse.buffalo.edu/LRG/PDF/moonslides.pdf