@thomson ,
you will to have to export it .SAT.
The coloring … hmm i am not sure about that,…
KR
Andreas