PyKota is one of the most advanced Free
Software dedicated to print accounting
and print quota enforcement,
see http://pykota.com/software/pykota/

azove is a tool designed for counting (without explicit enumeration) and enumeration of 0/1 vertices.

Given a polytope by a linear relaxation or facet description P = {x | Ax <= b}, all 0/1 points lying in P can be counted or enumerated. This is done by intersecting the polytope P with the unit-hypercube [0,1]^d. The integral vertices (no fractional ones) of this intersection will be enumerated. If P is a 0/1 polytope, azove solves the vertex enumeration problem. In fact, it can also solve the 0/1 knapsack problem and the 0/1 subset sum problem.

CUDD is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).

C-XSC is a libary for the development of numerical algorithms that deliver highly accurate and automatically verified results. C-XSC can do real, complex, interval, and complex interval arithmetic with mathematically defined properties, dynamic vectors and matrices, accurate dot products, predefined arithmetic operators with highest accuracy, standard functions of high accuracy, dynamic multiple-precision arithmetic and rounding control for the input and output of data.