Opened 16 years ago
#232 new enhancement
checkSat
| Reported by: | Stephen Siegel | Owned by: | |
|---|---|---|---|
| Priority: | minor | Milestone: | Release 1.0 |
| Component: | multiple | Version: | 1.0 |
| Keywords: | prover, CVC3, satisfiable | Cc: |
Description
CVC3 has some methods which we are not using but probably should: checkSat.
Note:
See TracTickets
for help on using tickets.
