input to SAT solver

[vikrant 75]

hello,
I am trying to run miniSAT on visual studio2012. the code compiles and runs. But i cant understand what input should i give. I am giving the solver .cnf file in command line argument but when i run the program stops working.

The basic doubt: what and how many i/ps should be given to the miniSAT in command line.

thanks for help in advance

[khushi chndrakar]

Hello Vikrant

             for every solver there will be some input formate so for minisat there is diamac (.cnf) formate u have to write file in that formate and run through solver

command will like

$ minisat xyz.cnf

--

---
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.
For more options, visit https://groups.google.com/groups/opt_out.

[Vikz]

Hey khushi

I am imputing  a .cnf file but since I am 
Using visual studio I go to project-> properties -> debugging -> command line argument and there I enter xyz.cnf

And I run the program

I get on  the screen "Problem statistics" and then soon a dialog appears that exe stop working

I also tried giving .cnf (I/p file) and  a blank txt file as o/p file in the 

command line stil the same result

Regards

Vikrant 

Regards

Vikrant 

[khushi chndrakar]

sry i m not aware with visual studio.i just  write  file in notepad (document) save with the extension which solver need

like(xyz.cnf) and run through command line.

[vikrant 75]

i guess i wil try using command line..can you tell me how exactly you run it through command line

[vikrant 75]

in your 1st post you wrote: $ minisat xyz.cnf 

is minisat the exe or the main?