Startseite Erkunden Hilfe
Anmelden
swf-projects
/
symbolic-sat
2
0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Branch: master
Branches Tags

Commit Verlauf

Autor SHA1 Nachricht Datum
  Samuel W. Flint 8d32f6ef7c Use "mycommon" package, enable plex for typewriter, "closed" squareroots vor 4 Jahren
  Samuel W. Flint 596f17ebb8 Rename "Clause Collection" to "Expression Collection" vor 4 Jahren
  Samuel W. Flint 41bfbe8c80 Rename clause adding to expression adding vor 4 Jahren
  Samuel W. Flint 1f10380d78 Write about adding clauses vor 4 Jahren
  Samuel W. Flint 3461cf51e3 Simplify conflict checking vor 4 Jahren
  Samuel W. Flint 174d041b2d Write about branchiness checking vor 4 Jahren
  Samuel W. Flint 44cb956f3d Wrote about expression type checking vor 4 Jahren
  Samuel W. Flint 3fdeef5387 Write about expression type definition vor 4 Jahren
  Samuel W. Flint b52ce57f2f Write the start of expression classification vor 4 Jahren
  Samuel W. Flint 66d62e1f9a Implement Picking next expression by branchiness vor 4 Jahren
  Samuel W. Flint 700e5cf8ea Add branchiness checking/classification vor 4 Jahren
  Samuel W. Flint 38bbfda82d No need to bind python-indent-offset vor 4 Jahren
  Samuel W. Flint 4fbf51f125 Update to handle new latex formatting vor 4 Jahren
  Samuel W. Flint 18ba470f1d Wrote about system definition, and therefore finished on packaging vor 6 Jahren
  Samuel W. Flint 67b52a33a8 Wrote about package-definition vor 6 Jahren
  Samuel W. Flint 9762f602d2 Start on packaging vor 6 Jahren
  Samuel W. Flint 0b1924579d Write about handler dispatch vor 6 Jahren
  Samuel W. Flint 9fcbd1b6b5 Update introduction vor 6 Jahren
  Samuel W. Flint e75f229926 Wrote about handler definition vor 6 Jahren
  Samuel W. Flint 81b0fa2705 Update solution dispatch, and did some stuff for tangling. Add atom sorter vor 6 Jahren
  Samuel W. Flint 07cafca735 Rewrote about solver vor 6 Jahren
  Samuel W. Flint 714dce8808 Updated bibliography vor 6 Jahren
  Samuel W. Flint b8f18e9ea9 Update bibliography, date vor 6 Jahren
  Samuel W. Flint 7326c4bf35 Switch to using cite: and ox-bibtex vor 6 Jahren
  Samuel W. Flint 66d3e690da Update gitignore vor 6 Jahren
  Samuel W. Flint 9ccd2e792a Add some stuff in for progress tracking vor 6 Jahren
  Samuel W. Flint b0026c98d6 Reorganize Expression Classification vor 6 Jahren
  Samuel W. Flint 6dffd33b4a Start talking about expression handlers vor 6 Jahren
  Samuel W. Flint 82d006bea6 Reorganize some parts of the solver and start describing it vor 6 Jahren
  Samuel W. Flint 3812fbaf32 Broke utilities out vor 6 Jahren

Neuer Älter