javadoc:
	-rm -rf ./api
	mkdir api
	javadoc edu.neu.ccs.satsolver -d api/
