"both constraints"
wording
better explanation of state transitions in the solver
kirsten comments p1
remove thesis
add thesis to wiki
rename overview back so the wiki has a landing page
update datatype in Files doco
rename home to overview
more doco for spec grammar
add heading for examples
add full usage
add Usage.md
add initial Solver doco
list future approaches?
add test
improve lifter_ir
move approach to Home
new filemap
map in new file
formatting
add approach
transcribe Map
Initial Home page