ホーム エクスプローラ ヘルプ
サインイン
swf-projects
/
symbolic-sat
2
0
フォーク 0
ファイル 課題 0 プルリクエスト 0 Wiki
ブランチ: master
ブランチ タグ

コミット履歴

作者 SHA1 メッセージ 日付
  Samuel W. Flint 8d32f6ef7c Use "mycommon" package, enable plex for typewriter, "closed" squareroots 5 年 前
  Samuel W. Flint 596f17ebb8 Rename "Clause Collection" to "Expression Collection" 5 年 前
  Samuel W. Flint 41bfbe8c80 Rename clause adding to expression adding 5 年 前
  Samuel W. Flint 1f10380d78 Write about adding clauses 5 年 前
  Samuel W. Flint 3461cf51e3 Simplify conflict checking 5 年 前
  Samuel W. Flint 174d041b2d Write about branchiness checking 5 年 前
  Samuel W. Flint 44cb956f3d Wrote about expression type checking 5 年 前
  Samuel W. Flint 3fdeef5387 Write about expression type definition 5 年 前
  Samuel W. Flint b52ce57f2f Write the start of expression classification 5 年 前
  Samuel W. Flint 66d62e1f9a Implement Picking next expression by branchiness 5 年 前
  Samuel W. Flint 700e5cf8ea Add branchiness checking/classification 5 年 前
  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 年 前

新しい 古い