Solve fixpoint systems of equations over commutative semirings.
timvieira/semiring-newton
Efficiently solve systems of fixpoint equations over commutative semirings using generalized Newton's algorithm
Python
Efficiently solve systems of fixpoint equations over commutative semirings using generalized Newton's algorithm
Python
Solve fixpoint systems of equations over commutative semirings.