print cnf of flattened network

From: Fabio (fabio.marcone_at_libero.it)
Date: Mon Jul 05 2004 - 14:34:07 MDT

• Next message: Fabio Somenzi: "Re: bmc and "formula undecided""
• Previous message: Fabio: "bmc and "formula undecided""
• Next in thread: Fabio Somenzi: "Re: print cnf of flattened network"
• Reply: Fabio Somenzi: "Re: print cnf of flattened network"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi!
I need to print a cnf that describes a flattaned network. is it possible?
I found how print a cnf counterexample in bounded_model_check but I need to have cnf file of the network, not of the counterexample.

Thanks in advance to all,
Fabio

• Next message: Fabio Somenzi: "Re: bmc and "formula undecided""
• Previous message: Fabio: "bmc and "formula undecided""
• Next in thread: Fabio Somenzi: "Re: print cnf of flattened network"
• Reply: Fabio Somenzi: "Re: print cnf of flattened network"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Mon Jul 05 2004 - 14:35:06 MDT