source: vis_dev/vis-2.3/src/sat/sat.make @ 14

Last change on this file since 14 was 14, checked in by cecile, 13 years ago

vis2.3
File size: 199 bytes
Line 
1CSRC += satConflict.c satImplication.c satMain.c \
2        satUtil.c satDecision.c satInc.c satDebug.c\
3        satInterface.c satBDD.c satCore.c
4HEADERS += sat.h satInt.h
5
6DEPENDENCYFILES = $(CSRC)
Note: See TracBrowser for help on using the repository browser.