Software library of Eiffel classes modeled upon set theory. Release 0.30.
Software library of Eiffel classes modeled upon set theory