diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-03-16 13:24:31 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-03-16 13:24:31 -0500 |
commit | 46857bda6c6bb6db3481514c8cdee3ecbadb3301 (patch) | |
tree | 0f5b0eaaf08bc7781e5e6d501adbeb9c51e69ea0 /src/include/cvc4_public.h | |
parent | 966f38dc17ee316fdb069ec2a427c4f79f1f73b2 (diff) |
Support for SMT LIB 2.6 syntax declare-datatype and match.
Diffstat (limited to 'src/include/cvc4_public.h')
0 files changed, 0 insertions, 0 deletions