The library to convert Gate circuit from/to foreign logic format.
The program to convert Gate circuit from/to foreign logic format.