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