blob: 8a5cfe3a5aa02c6b7735e37f5dd58326a1d3cf6b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
-----------
GCC bug
----------
Beware, GCC has a bug affecting propagation in CryptoMiniSat:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47365
This seems to affect all gcc versions 4.5.x and is latent in
trunk of upcoming 4.6.0
-----------
Libraries needed
-----------
You will need the following libraries to compile the sources:
* libz
-----------------
Building the source
-----------------
There are two ways to build the source. With cmake or with autotools.
I personally use cmake.
------------------
Building using autotools
------------------
$ mkdir build
$ cd build
$ ../configure
$ make
Use like: ./cryptominisat satfile.cnf
If you got your source from the GIT/SVN, then you should do the following
before doing the above::
* Install automake, autoconf, libtool
* Issue 'make -f Makefile.cvs' in the root dir
---------
Please read help
---------
For help, build the program, and issue:
'./cryptominisat -help'
--------------
Verbose debug
-------------
You can also turn on verbose debugging.
Simply remove the comment before
"//#define VERBOSE_DEBUG"
in Solver/constants.h and re-compile
When executing:
'./cryptominisat satfile.cnf'
You will see a LOT of debug info. You should therefore maybe do:
'./cryptominisat satfile.cnf > debuginfo.txt'
then you can open the 'debuginfo.txt' file from a text editor and have a look
--------------------------
Windows binary generation
-------------------------
It should be possible f you compile under windows
using Visual C++. Please read the HOWTO_VisualCpp for details
I compile under linux all windows binaries, using gcc that generates
windows executables. It works really well. There is a sort-of-howto in
the "HOWTO_MinGW32" text file. A short step-by-step is here:
1) Install gcc that generates windows binaries:
i586-mingw32msvc
2) Install all libraries (libz)
3) Get "libz" from source and compile as per "HOWTO_MINGW32"
|
