MiniSAT+ On Windows

Please Help me to run MiniSAT on Windows ... I am very beginner !

Please help us so we can help you. What Windows version? What is the
compilation output/error? Describe the problem in detail so we can help
you fix it :)

Mate

Cheers,

A couple years ago I compiled minisat 2.2.0 with mingw for windows and
published the Keepandshare link in the minisat list. The link of (the
thread of) that message is:

https://groups.google.com/forum/#!topic/minisat/kOW99KLXVJ8

Meanwhile Keepandshare has gone bye-bye :-) as a repository site and
those links are dead. I deployed the minisat.zip archive in my dropbox
account and it can be downloaded in:

https://www.dropbox.com/s/unr78t14q8d6ir6/minisat.zip?dl=0

The relevant information about the compilation tweaks are in the
thread https://groups.google.com/forum/#!topic/minisat/kOW99KLXVJ8 or
in https://github.com/jasax/Minisat-2.2.0-for-windows/blob/master/README.md

HTH and Regards

José
> --
>
> ---
> 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/d/optout.
>

Hi,

I no longer work with minisat nowadays, so I don't have current builds
of it for MS Windows.

The binaries I mentioned in the previous message were done for old
Windows 2K, in an old PC, and it happens that they don't work in
windows 7 -- I just checked now. So I suppose they also will not work
in Windows 8.1.

I don't have anymore a machine setup to compile minisat again with
mingw, so I cannot provide further binaries to you, sorry. Regarding
the use of minisat in Windows, it was used as a command line "command"
in a windows command window, just as if one was working in a Linux
environment terminal, for instance.

What I just did to test was to compile minisat220 in a Mint Linux 17.1
virtual distribution on top of VirtualBox, and it compiles OK without
complaints. So, if you have a modern PC (say with less than 4 or 5 yrs
old) you can install VirtualBox, and then mount a VM of a standard
Linux distro on top of it (Mint Linux is based in Ubuntu, which is
based in Debian, so I think you can use a VM of any of these distros
to compile minisat). After this you can use minisat in your Virtual
Linux.

The site of VirtualBox https://www.virtualbox.org/ provides docs and
instruction on how to setup and use a VM.

Hope this helps and good luck.

Jose

Hi again,

Sorry, I don't do videos; I don't even have a camera in my PC (I don't
have Skype installed ;-) )

But you can find videos in Youtube about installing and using a Linux
VM on Virtualbox. See http://www.youtube.com/watch?v=OeC-5Rnf7DQ and
http://www.youtube.com/watch?v=l__8tmIfw70 (for installing Linux Mint
17) or http://www.youtube.com/watch?v=QkJmahizwO4 (for installing
Ubuntu). After that you can compile minisat in the Linux VM you
installed. See http://www.youtube.com/watch?v=C7_5zsaQlFE or
http://www.youtube.com/watch?v=9k38XHsL77A to learn how to compile
from sources in Linux.

If you intend to do further work with minisat and other academic CAD
tools, I suggest you learn Linux, at least at the "barebones user
level" and how to compile sources, compile and install libraries, etc
and use tools. If you like watching videos, search "Linux
Introduction" in youtube, you have plenty of videos there.

The route for learning and mastering a subject is usually hard and
filled with obstacles (certainly someone certainly has already given
this quote :-) ) so prepare for some extra time and effort ;-)

Good luck, again.
> it, if possible share a video in this regard. Thank you !