Opened 17 years ago

Closed 17 years ago

#36 closed defect (fixed)

Flag to control simplify

Reported by: zirkel Owned by: ywei
Priority: major Milestone:
Component: multiple Version: 1.0
Keywords: command line, flag, option, simplify Cc:

Description

We want a command line flag to turn simplify (through CVC3) on and off.

Change History (2)

comment:1 by ywei, 17 years ago

Status: new → accepted

comment:2 by ywei, 17 years ago

Resolution: → fixed
Status: accepted → closed

Flags added as "-simplify".

Note: See TracTickets for help on using tickets.