scld k-map solver (v0.3)

Choose the type of K-map to use:
Prime Term Simplification enable ?
y =