compiling minisat on eclipse

[La Reine Khawaly]

Hi, I'm trying to compile minisat on Eclipse and Windows 8 (or 7) , but i'm having a compilation error:
in Solver.cc , it doesn't seem to recognize the library mtl/Sort.h :
..\minisat\core\Solver.cc:23:22: fatal error: mtl/Sort.h: No such file or directory

can anyone help ?

in general, did anyone try to compile minisat on windows with eclipse and knows if there are specific things I need to download or use ?

[Michael Tautschnig]

Hi,

> Hi, I'm trying to compile minisat on Eclipse and Windows 8 (or 7) , but i'm having a compilation error:
> in Solver.cc , it doesn't seem to recognize the library mtl/Sort.h :
> ..\minisat\core\Solver.cc:23:22: fatal error: mtl/Sort.h: No such file or directory
>
> can anyone help ?
>

You will need to set up the compile command such that it contains the proper
include paths.

> in general, did anyone try to compile minisat on windows with eclipse and knows if there are specific things I need to download or use ?
>

I haven't done this within Eclipse, but either way you will need a working
version of zlib (or adjust the code such as not to use any of the compressed
file reading features).

Best,
Michael

[Jose Augusto]

Hi Khawaly,

I compiled minisat with Mingw and provided a link to the binary.
Please see this post

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

for the datails and links.

HTH

José