algebraic-solving / msolve

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

fixes segfault when premature termination due to positive dimensional system #75

Closed ederc closed 1 year ago