REGARDING CNF OF ISCAS 85 AND ISCAS 89 CIRCUITS

[Avinash Kumar]

HI,
I AM MTECH STUDENT NEW TO MINISAT. I NEED SOME INFORMATION ABOUT HOW TO CONVERT .V FILE OR .BENCH FILE OF ISCAS BENCHMARK CIRCUITS TO CNF FORMAT. IT WILL HELP ME REGARDING MY PROJECT WORK.
THANKS


REGARDS
AVINASH

[Allen Van Gelder]

Try to look at http://www.cs.utoronto.ca/~alexia/cirqit/

Alexandra Goultiaeva is the now-graduated PhD student who did most of this programming.

--Allen

--

---
You received this message because you are subscribed to the Google Groups "MiniSat" group.
To unsubscribe from this group and stop receiving emails from it, send an email to minisat+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/minisat/92554058-174d-4428-b5b9-2bd513243592%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.