search

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

make check for F4SAT with 2 threads #85

Closed jerebertho closed 11 months ago