Giters

qedb / eqlib

Previous iteration of QEDb [ARCHIVED]

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

rule-enginesymbolic-manipulationdart

Travis Codecov

Equation manipulation library

This library aids the manipulation of equations. All manipulations are based on a simple expression substitution model.

About

Previous iteration of QEDb [ARCHIVED]

rule-enginesymbolic-manipulationdart

License:GNU Affero General Public License v3.0

Languages

Language:Dart 99.3%Language:Shell 0.6%Language:Makefile 0.1%