build:
	gcc -g -L. -lNuRV-lite -o test_bdd test.c
	gcc -g -L. -lNuRV -o test_smt test-smt.c

run:
	DYLD_LIBRARY_PATH=. ./test_bdd
	DYLD_LIBRARY_PATH=. ./test_smt

.PHONY: build
