search

aditink / algebraic_simplification_cesar

Egg Heuristics for algebraic simplification used by the CESAR tool.
GNU General Public License v2.0
2 stars 3 forks source link

Change README #5

Closed Username13555 closed 4 months ago

Username13555 commented 4 months ago

I added comments and error message when users who are using ubuntu or other linux program use sudo apt-get install cargo.