Age | Commit message (Expand) | 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 |