Input file ERROR

[Lucas Rodrigues]

Hi!

Where I need to put the input file so miniSAT can read it?

IT always send the message:
"ERROR! Could not open the file: in.txt"

Thanks :)

[John Backes]

Is it possible that "in.txt" does not have read permissions? Is it in the same directory where you are running minisat?

- John

--

---
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+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.