Opened 16 years ago

Closed 16 years ago

#209 closed defect (fixed)

Add support for APPLY operation in CVC3TheoremProver

Reported by: ywei Owned by: ywei
Priority: major Milestone: Release 1.0
Component: prove Version: 1.0
Keywords: Cc:

Description

Add support for APPLY operation in CVC3TheoremProver.java. The operation is specified in TreeExpressionIF.java.

Change History (1)

comment:1 by ywei, 16 years ago

Resolution: → fixed
Status: new → closed

Operation support added in CVC3 theorem prover class.

Note: See TracTickets for help on using tickets.