BASE = ..
LIB = solver
LIBS =
SOURCES = solver.ml

include Makefile.library
