# Makefile

SOURCES  = solver.mli solver.ml
NAME     = satsolver
REQUIRES = threads

include Makefile.library
