diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-09-07 16:25:15 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-09-07 16:25:15 +0000 |
commit | 62a50760346e130345b24e8a14ad0dac0dca5d38 (patch) | |
tree | 5b4bfd8a6576321a1b08c08920df6e4a4a0d2cc9 /src/theory/.gitignore | |
parent | 9d9731007a17375aa242f15faace8c451cf3c258 (diff) |
fixes for uf/equality engine from the quantifiers branch. mainly backtracking issues.
Diffstat (limited to 'src/theory/.gitignore')
0 files changed, 0 insertions, 0 deletions