Files

5 lines
65 B
Makefile
Raw Permalink Normal View History

2016-11-30 21:30:24 +01:00
OBJS += backends/aiger/aiger.o
2019-02-11 15:18:42 -08:00
OBJS += backends/aiger/xaiger.o
2016-11-30 21:30:24 +01:00