Utility for computing boolean Groebner bases with Buchberger's algorithm - View it on GitHub