That sounds like a specific project! To make sure I build exactly what you need, I have a quick clarifying question. When you mention are you referring to: Shin Megami Tensei (SMT) :

Is this for electronic manufacturing software, component libraries, or CAD/CAM data? Satisfiability Modulo Theories (SMT):