default: examples

examples: nor_example state_example

nor_example:
	@echo Berkeley PLA format
	@espresso nor.logic
	@echo 
	@echo Berkeley eqn format
	@espresso -o eqntott nor.logic

state_example:
	@echo Berkeley eqn format
	@espresso -o eqntott state.logic

count_example:
	@echo Berkeley eqn format
	@espresso -o eqntott count.logic