nauotit / openf4

F4 algorithm C++ library (groebner basis computations over finite fields)
12Updated 6 years ago

Related projects

Alternatives and complementary repositories for openf4