nauotit / openf4

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

Related projects: