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