# Makefile

SOURCES  = factorize.ml diagnosis.mli diagnosis.ml installability.mli installability.ml
NAME     = packetology
REQUIRES = util io satsolver napkin rapids

include Makefile.library
