GitHub - Tabaie/DNFMinimizer

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
ADNF.h		ADNF.h
ADNF.h~		ADNF.h~
ASet.c		ASet.c
ASet.c~		ASet.c~
ASet.h		ASet.h
ASet.h~		ASet.h~
ASet.o		ASet.o
AndClauseLinkedList.c		AndClauseLinkedList.c
AndClauseLinkedList.c~		AndClauseLinkedList.c~
AndClauseLinkedList.o		AndClauseLinkedList.o
BCDLt		BCDLt
DNFCMD.c		DNFCMD.c
DNFCMD.c~		DNFCMD.c~
DNFCMD.o		DNFCMD.o
DNFConverter		DNFConverter
Formula2SMT.py		Formula2SMT.py
Formula2SMT.py~		Formula2SMT.py~
FullAdder.c		FullAdder.c
FullAdder.c~		FullAdder.c~
Makefile		Makefile
Makefile~		Makefile~
SetNum2Tex.py		SetNum2Tex.py
SetNum2Tex.py~		SetNum2Tex.py~
main.c		main.c
main.c~		main.c~