set_theory_test, a C++ code which calls set_theory(), which implements some of the operations of set theory.
The computer code and data files described and made available on this web page are distributed under the MIT license
set_theory, a C++ code which demonstrates various set theoretic operations using several models of a set.