A Sage interface for FGb (Gröbner basis computations)
-
Updated
Feb 1, 2026 - Python
#
groebner-basis
Here are 6 public repositories matching this topic...
An easy-to-use, general and open-source tool to solve the guess-and-determine problem
cryptography cryptanalysis python3 milp constraint-programming smt sat groebner-basis minizinc sagemath stream-ciphers blockcipher or-tools pysat sat-solver-application guess-and-determine key-bridging pysmt passagemath
-
Updated
Apr 13, 2026 - Python
An educational purposes repository with algorithms for solving SAT problems with Groebner Bases.
-
Updated
Jan 23, 2022 - Python
Series of benchmarks for computing boolean Groebner bases
-
Updated
Aug 25, 2019 - Python
Toy computer algebra system in pure python
-
Updated
May 28, 2018 - Python
A SageMath interface for M4GB.
-
Updated
Jul 13, 2022 - Python
Improve this page
Add a description, image, and links to the groebner-basis topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the groebner-basis topic, visit your repo's landing page and select "manage topics."