[튜 토리 얼]우 분투 에 cryptominisat 튜 토리 얼 설치

최근 에 설 치 를 마 쳤 는데 Sat Solver 구 해 기 를 사용 해 야 합 니 다.Sat Sovler 에 관 한 중국어 자료 가 매우 적 습 니 다.스스로 모색 하여 정 리 했 습 니 다.이 기록 입 니 다.
주로 소프트웨어 의 설 치 를 설명 하 는데 사용 이 매우 간단 하 다.sat solver 는 여러 가지 실현 이 있 습 니 다.예 를 들 어 minisat,cryptominisat,sat4j 등 은 cryptominisat 를 예 로 들 면.
하드웨어 플랫폼:VmVare 11,Ubuntu 12.04 LTS Desktop.설치 소프트웨어 는 cryptominisat-2.9.11 로 Github 에서 다운로드 할 수 있 습 니 다.
먼저 cryptominisat-2.9.11 의 INSTALL 파일 을 봅 니 다.

-----------
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

---------

우 리 는 autotools 의 설치 방식 만 설명 하고 cmake 설치 방식 은 나중에 다시 보충 합 니 다.
준비 작업:
우 리 는 필요 한 라 이브 러 리 에 libz 가 있 는 것 을 보 았 다.그래서 이 라 이브 러 리 를 먼저 설치 해 야 한다.리 눅 스 zlib 설 치 를 자체 적 으로 검색 할 수 있 습 니 다.zlib 에는 libz 가 포함 되 어 있 습 니 다.설치 가 아주 간단 합 니 다.configure&&make&make install 을 사용 하면 됩 니 다.
autotools 설치,즉./configure&make&make install 로 설 치 를 완료 합 니 다.다음 구성 요소 가 필요 합 니 다:1.도구 automake,autoconf,libtool 이 있 는 지 확인 하 십시오.automake–version,automake–libtool 로 볼 수 있 습 니 다.없 으 면 실행 합 니 다.

sudo apt-get install automake
sudo apt-get install libtool

즉,autoconf 를 설치 하지 않 아 도 되 는 이 유 는 automake 에 autoconf 가 포함 되 어 있 기 때 문 입 니 다.
2.make 도구 가 있 는 지 확인 합 니 다.make–version 으로 볼 수 있 습 니 다.없 으 면 실행 합 니 다.

sudo apt-get install make

3.컴 파일 러 가 있어 야 gcc 를 사용 하여 실행 할 수 있 습 니 다.

sudo apt-get install gcc

4.이 패 키 지 를 설치 하려 면 build-essential,역할 은 글 을 보고 마지막 으로 실행 합 니 다.

sudo apt-get install build-essential

구체 적 인 설치 절차:
1.저 자 는 Github 이나 SVN 에서 다운로드 한 원본 코드 라면 루트 디 렉 터 리 에서 먼저 실행 해 야 한다 고 말 합 니 다make -f Makefile.cvs이렇게 하면 configure 파일 이 생 성 되 고 다음 단계 로 넘 어 갈 수 있 습 니 다.(메모:루트 디 렉 터 리 는 cd 에서 cryptominisat 2.9.11 까지 이 디 렉 터 리 를 말 합 니 다)
2.집행

mkdir build 
cd build

실제로 build 디 렉 터 리 가 존재 합 니 다.이 단 계 는 필요 없습니다.
3.루트 디 렉 터 리 에서 configure 파일 을 실행 합 니 다.

./configure

4.실행

make

설치 완료.사용 방식 README 에 명확 하 게 쓰 여 있 습 니 다../cryptominisat cnf 파일 이름 을 사용 하면 됩 니 다.
부 딪 힐 수 있 는 문제:
1.컴 파일 오류,컴 파일 러 를 찾 을 수 없 음 을 알려 줍 니 다.이것 은 어떠한 컴 파일 러 도 gcc 를 사용 하여 실행 할 수 없다 는 것 을 설명 한다.

sudo apt-get install gcc

2.zlib 가 설치 되 어 있 지만 컴 파일 오류 가 발생 하여 zlib 를 찾 을 수 없습니다.Liux 운영 체제 에서 프로그램 을 개발 하려 면 gcc 만 있 으 면 안 됩 니 다.build-essential 패키지 가 필요 합 니 다.컴 파일 러 에 필요 한 패키지 의 목록 정 보 를 제공 하 는 역할 을 합 니 다.
즉,컴 파일 러 에 이 패키지 가 있어 야 헤더 파일 이 어디 에 있 는 지 알 수 있 고 라 이브 러 리 함수 가 어디 에 있 는 지 알 수 있 으 며 의존 하 는 패 키 지 를 다운로드 할 수 있 습 니 다.
패키지:build-essential 설치 방법:

sudo apt-get install build-essential