Commit History

Автор SHA1 Съобщение Дата
  Samuel W. Flint 38bbfda82d No need to bind python-indent-offset преди 5 години
  Samuel W. Flint 4fbf51f125 Update to handle new latex formatting преди 5 години
  Samuel W. Flint 18ba470f1d Wrote about system definition, and therefore finished on packaging преди 6 години
  Samuel W. Flint 67b52a33a8 Wrote about package-definition преди 6 години
  Samuel W. Flint 9762f602d2 Start on packaging преди 6 години
  Samuel W. Flint 0b1924579d Write about handler dispatch преди 6 години
  Samuel W. Flint 9fcbd1b6b5 Update introduction преди 6 години
  Samuel W. Flint e75f229926 Wrote about handler definition преди 6 години
  Samuel W. Flint 81b0fa2705 Update solution dispatch, and did some stuff for tangling. Add atom sorter преди 6 години
  Samuel W. Flint 07cafca735 Rewrote about solver преди 6 години
  Samuel W. Flint 714dce8808 Updated bibliography преди 6 години
  Samuel W. Flint b8f18e9ea9 Update bibliography, date преди 6 години
  Samuel W. Flint 7326c4bf35 Switch to using cite: and ox-bibtex преди 6 години
  Samuel W. Flint 66d3e690da Update gitignore преди 6 години
  Samuel W. Flint 9ccd2e792a Add some stuff in for progress tracking преди 6 години
  Samuel W. Flint b0026c98d6 Reorganize Expression Classification преди 6 години
  Samuel W. Flint 6dffd33b4a Start talking about expression handlers преди 6 години
  Samuel W. Flint 82d006bea6 Reorganize some parts of the solver and start describing it преди 6 години
  Samuel W. Flint 3812fbaf32 Broke utilities out преди 6 години
  Samuel W. Flint cef6bc72db Moved solver above classification преди 6 години
  Samuel W. Flint 04b8daceed Ignore a bunch of LaTeX files преди 6 години
  Samuel W. Flint 87401876a9 Write an introduction преди 6 години
  Samuel W. Flint 8f88e7ce6d Update some stuff for packaging преди 6 години
  Samuel W. Flint af9ed05969 Finish the logic -- add some TODOs преди 6 години
  Samuel W. Flint 2dde9a965b Add a gitignore file преди 6 години
  Samuel W. Flint 71687c511e Start a Symbolic SAT Solver преди 6 години