CC = gcc
CFLAGS = -O

all:  
	${CC} ${CFLAGS} -o sat2cnf sat2cnf.c
	${CC} ${CFLAGS} -o cnf2sat cnf2sat.c