Mon 23 Sep 2024

§Mon

§Added a SAT expression of the dependancy resolution problem, and added some example graphs.

§Tue

§more package management

§Wed

§some package management

§loco

§Thur

§finished loco

§chatted with patrick about the splash paper

§Fri

§added conflicts and optional dependencies to the package management calculus