The program to do logic extraction. Written in python and simply running it with one perl script.