.z3

SMT-LIB problem file, solved by the Z3 theorem prover

Not yet supported

Format facts

MIME type: text/plain
Apple UTI: public.source-code
Stock Quick Look: shown as plain text
Planned approach (census): syntax-highlight
Icon hint: generic-icon
Prevalence: rare

Renderer note (from the census)

-