F4sat threading fixes - Githubissues

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

Closed ederc closed 11 months ago

ederc commented 11 months ago

Fixes multi-threading for F4SAT

@jerebertho Please have a look and test it.

jerebertho commented 11 months ago

Tested with several examples, including saturation by 1. Everything seems ok now.