diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-05-05 14:10:10 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-05-05 14:31:12 -0400 |
commit | dfb807946da87254f927bf5550ff0f35fc780631 (patch) | |
tree | d51f32579b693b7171fdcfad4d16a391a702428b /config | |
parent | 9b59e12cf7eb284d4d99bf19036ba28fc5fb32cf (diff) |
Valuation::entailmentCheck() proxy for TheoryEngine version. Signature and contract is the same as for TheoryEngine version.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions