How to run minisat

[Ra VI]

Hello,
Iam new to mac and minisat
i followed the installation steps and found something called minisat_release and some .or files added to the core directory. What should i do next to run minisat and work on it ? Was it installed properly ??
I followed the instructions from this link http://embedded.eecs.berkeley.edu/eecsx44/homeworks/hw3qns.pdf
i could not understand the 4th step.

Thank You

[Michael Tautschnig]

Hello,

If you are actually doing this homework assignment as part of the course, then
please contact your tutors. Otherwise you might want to provide further
information on what you intend to achieve as the instructions given in said PDF
are very much focussed on the specific exercise rather than being general usage
instructions for MiniSat.

For the very first steps, simply try running ./minisat_release --help and you
will be greeted by general usage information.

Hope this helps,
Michael

[Ra VI]

I want to use minisat for other purpose,i found those instructions on the web..kindly please explain how to  create a dimacs cnf file in macbook so that i can give the command ./minisat_release <input_file> <output_file> ... should that file be in the same directory as minisat_release ... iam accessing minisat from terminal is there a way i open minisat_release and directly use it for solving sat problems...Kindly please send me some examples of how to use options.

Thank you for your time :)

[Michael Tautschnig]

Hello,

> I want to use minisat for other purpose,i found those instructions on the
> web..kindly please explain how to create a dimacs cnf file in macbook so
> that i can give the command ./minisat_release <input_file> <output_file>
> ... should that file be in the same directory as minisat_release ... iam
> accessing minisat from terminal is there a way i open minisat_release and
> directly use it for solving sat problems...Kindly please send me some
> examples of how to use options.
>

[...]

Have you considered David A. Wheeler's excellent howto?

http://www.dwheeler.com/essays/minisat-user-guide.html

Please report back if that does not cover sufficient ground in order to solve
the problem you are aiming at.

Best,
Michael