Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 19 lines (12 sloc) 0.183 kb
8f8a9ed @kkaempf current state of 'sat-solver'
kkaempf authored
1 Compiling and installing the software
2
91dd4f1 @mlschroe - minor text fixes and tweaks
mlschroe authored
3 Requirements:
8f8a9ed @kkaempf current state of 'sat-solver'
kkaempf authored
4
5 - C compiler
7089df9 @coolo Duncan forgot the docu
coolo authored
6 - cmake
8f8a9ed @kkaempf current state of 'sat-solver'
kkaempf authored
7 - make
8 - expat
9
91dd4f1 @mlschroe - minor text fixes and tweaks
mlschroe authored
10 Steps to compile/install:
8f8a9ed @kkaempf current state of 'sat-solver'
kkaempf authored
11
5253a98 @kkaempf use separate build dir
kkaempf authored
12 1. mkdir build
13 2. cd build
14 3. cmake ..
15 4. make
8f8a9ed @kkaempf current state of 'sat-solver'
kkaempf authored
16
91dd4f1 @mlschroe - minor text fixes and tweaks
mlschroe authored
17 5. make install
8f8a9ed @kkaempf current state of 'sat-solver'
kkaempf authored
18
Something went wrong with that request. Please try again.