Symbolic operation functions, including simplifier, symbolic match functions and rule based simplifier generator.
isabella232 / symbolicr Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mangothecat/symbolicr
Symbolic operation functions, including simplifier, symbolic match functions and rule based simplifier generator.