Utility for computing boolean Groebner bases with involutive Pommaret algorithm - View it on GitHub