Opened 17 years ago
Closed 16 years ago
#89 closed task (fixed)
send email to cvc3-users on non-linear accuracy example
| Reported by: | Stephen Siegel | Owned by: | zirkel |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | Administration | Version: | |
| Keywords: | cvc3, non-linear, accuracy | Cc: |
Description
We have an example of a problem that we feel should not be hard for CVC3 to solve, but CVC3 cannot solve it because the non-linear theory is incomplete. Tim has emailed it to Clark earlier. Cesare told us we should also send it to the cvc-users email list:
http://www.cs.nyu.edu/mailman/listinfo/cvc-users
It is not a bug, but we should point out that this is an example of the kind of thing we would like CVC3 to be able to solve.
Note:
See TracTickets
for help on using tickets.
Sent.