Opened 16 years ago
Closed 16 years ago
#207 closed task (fixed)
Add support for APPLY to CVC3TheoremProver
| Reported by: | zirkel | Owned by: | |
|---|---|---|---|
| Priority: | major | Milestone: | Release 1.0 |
| Component: | prove | Version: | 1.0 |
| Keywords: | evaluated function, derivative, abstract function, validity checker | Cc: |
Description
Note:
See TracTickets
for help on using tickets.
There is a duplicated ticket for this issue assigned to me and I will work on that ticket.