using for ALL-SAT

From: Syed Shazli (sshazli_at_ECE.NEU.EDU)
Date: Fri May 11 2007 - 06:19:25 MDT

• Next message: Ana Olteanu: "URGENT PROBLEM"
• Previous message: Shaun Feng: "Re: verilog to blif convert"
• In reply to: Shaun Feng: "Re: verilog to blif convert"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Does anyne have an idea how I can use VIS for generating all satisfying input
assignments for a given instance

-Syed Z Shazli

• Next message: Ana Olteanu: "URGENT PROBLEM"
• Previous message: Shaun Feng: "Re: verilog to blif convert"
• In reply to: Shaun Feng: "Re: verilog to blif convert"
• 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 : Fri May 11 2007 - 06:24:15 MDT