Opened 16 years ago

Closed 16 years ago

#199 closed defect (fixed)

CVC3 prover does not handle MODULO

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

Description

Need to add handler for MODULO is the prover.

Change History (1)

comment:1 by ywei, 16 years ago

Resolution: → fixed
Status: new → closed

Operation support added. The skew factor example now works.

Note: See TracTickets for help on using tickets.