Unate Recursive Complement Algorithm
https://github.com/dreamtalen/CAD_lab2/
This program is implemented in Python 2.7. Since I don't use any libraries except Python built-in. You can run this program in original Python 2.7 environment.
>>> python compl.py <cube-list-file>
>>> python compl.py test1.in > mytest.out
>>> diff mytest.out test1.out