algebraic-solving / msolve

Library for Polynomial System Solving through Algebraic Methods
https://msolve.lip6.fr
GNU General Public License v2.0
92 stars 22 forks source link

fixes finalizer for f4 tracer learning phase #54

Closed ederc closed 1 year ago