search

SMT-LIB / SMT-LIB-2

Public reference documents for the SMT-LIB standard
1 stars 0 forks source link

Clarify model formats #16

Open barrettcw opened 1 year ago

barrettcw commented 1 year ago

See discussion topic.

tinelli commented 12 months ago

see https://github.com/SMT-LIB/SMT-LIB-2/discussions/15