# Define which solver to use as backend, this can be a name of a file in the
# solvers directory.
SOLVER     = glucose4.1
#
# The following values should be defined in the included file:
# VERSION    = core or simp
# SOLVERNAME = name of the SAT solver
# SOLVERDIR  = subdirectory of the SAT solver
# NSPACE     = namespace of the SAT solver
#
include $(PWD)/solvers/$(SOLVER).mk
VERSION    = core
SOLVERNAME = "Glucose4.1"
SOLVERDIR  = glucose4.1
NSPACE     = Glucose

# THE REMAINING OF THE MAKEFILE SHOULD BE LEFT UNCHANGED
EXEC       = open-wbo
DEPDIR     = mtl utils core ../../encodings ../../algorithms ../../graph ../../classifier
MROOT      = $(PWD)/solvers/$(SOLVERDIR)
OPENWBO_WARNFLAGS = -Wno-class-memaccess
CFLAGS     = -Wall -Wno-parentheses -std=c++11 -DNSPACE=$(NSPACE) -DSOLVERNAME=$(SOLVERNAME) -DVERSION=$(VERSION) $(OPENWBO_WARNFLAGS)

include $(PWD)/solvers/$(SOLVERDIR)/mtl/template.mk
