OBJS += backends/aiger/aiger.o
OBJS += backends/aiger/xaiger.o