Discover projects, groups and snippets. Share your projects with others
Multivariate polynomial system solver
The BoolEAN POLynomial Evaluation library