diff options
author | Michal Moskal <michal@moskal.me> | 2011-04-28 13:32:38 -0700 |
---|---|---|
committer | Michal Moskal <michal@moskal.me> | 2011-04-28 13:32:38 -0700 |
commit | dfb4e6c3a65c8bf7cd95bfe27bf5a33ba0c73f3c (patch) | |
tree | 583b8b855c384c4228ebfaa006276896c8467b02 /Source/ModelViewer/TreeSkeleton.cs | |
parent | 386085ef362905d564753e8e6d252540ceef0e85 (diff) |
Use (get-model) Z3 command; quote skolem-ids
Diffstat (limited to 'Source/ModelViewer/TreeSkeleton.cs')
0 files changed, 0 insertions, 0 deletions