alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add glucose SAT solver

Browse Source
This commit is contained in:
Johannes Schlatow
2016-03-18 20:44:02 +01:00
committed by Norman Feske
parent bc9df53c79
commit 439a59c695
13 changed files with 349 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
ports/glucose.hash Normal file
View File

@@ -0,0 +1 @@
0a138c29411f0e7802764c5e4ce0451bd8e4be56

15
ports/glucose.port Normal file
View File

@@ -0,0 +1,15 @@
LICENSE := MiniSat
VERSION := 3.0
DOWNLOADS := glucose.archive
URL(glucose) := http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-$(VERSION).tgz
SHA(glucose) := 3c4598e1ee911b4dfaedc0ce296d5eb8a9a2796e
DIR(glucose) := src/lib/glucose
PATCHES := $(addprefix src/lib/glucose/,c++11.patch pow.patch map.patch buffer_size.patch copy_constructor.patch cputime.patch)
DIRS := include/glucose/core include/glucose/mtl include/glucose/utils
DIR_CONTENT(include/glucose/core) := src/lib/glucose/core/*.h
DIR_CONTENT(include/glucose/mtl) := src/lib/glucose/mtl/*.h
DIR_CONTENT(include/glucose/utils) := src/lib/glucose/utils/*.h