Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-09-25 | clean up | anwu1219 | |
2018-09-25 | revert space | anwu1219 | |
2018-09-25 | clean up | anwu1219 | |
2018-09-21 | change solve to simp, and fix format | anwu1219 | |
2018-09-20 | clean up | Andrew Wu | |
2018-09-13 | testing non clausal simplication | anwu | |