Find all decompositions in KFGZ – {0} of the form o = p ⋁ q.

Header files: set_operators.h, set_families.h, set_relations.h, collapses.h

Main file: lem_7_main.c

Input file: 7-spaces.txt

Download all: lem_7.zip