 Samuel W. Flint
|
e75f229926
Wrote about handler definition
|
6 år sedan |
|
Samuel W. Flint
|
81b0fa2705
Update solution dispatch, and did some stuff for tangling. Add atom sorter
|
6 år sedan |
|
Samuel W. Flint
|
07cafca735
Rewrote about solver
|
6 år sedan |
|
Samuel W. Flint
|
714dce8808
Updated bibliography
|
6 år sedan |
|
Samuel W. Flint
|
b8f18e9ea9
Update bibliography, date
|
6 år sedan |
|
Samuel W. Flint
|
7326c4bf35
Switch to using cite: and ox-bibtex
|
6 år sedan |
|
Samuel W. Flint
|
66d3e690da
Update gitignore
|
6 år sedan |
|
Samuel W. Flint
|
9ccd2e792a
Add some stuff in for progress tracking
|
6 år sedan |
|
Samuel W. Flint
|
b0026c98d6
Reorganize Expression Classification
|
6 år sedan |
|
Samuel W. Flint
|
6dffd33b4a
Start talking about expression handlers
|
6 år sedan |
|
Samuel W. Flint
|
82d006bea6
Reorganize some parts of the solver and start describing it
|
6 år sedan |
|
Samuel W. Flint
|
3812fbaf32
Broke utilities out
|
6 år sedan |
|
Samuel W. Flint
|
cef6bc72db
Moved solver above classification
|
6 år sedan |
|
Samuel W. Flint
|
04b8daceed
Ignore a bunch of LaTeX files
|
6 år sedan |
|
Samuel W. Flint
|
87401876a9
Write an introduction
|
6 år sedan |
|
Samuel W. Flint
|
8f88e7ce6d
Update some stuff for packaging
|
6 år sedan |
|
Samuel W. Flint
|
af9ed05969
Finish the logic -- add some TODOs
|
6 år sedan |
|
Samuel W. Flint
|
2dde9a965b
Add a gitignore file
|
6 år sedan |
|
Samuel W. Flint
|
71687c511e
Start a Symbolic SAT Solver
|
6 år sedan |
