GitHub - roberto-bayardo/relsat: Automatically exported from code.google.com/p/relsat

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
BigNum.h		BigNum.h
BigNum_dll.h		BigNum_dll.h
BigNum_fake.h		BigNum_fake.h
Clause.cpp		Clause.cpp
Clause.h		Clause.h
ClauseList.cpp		ClauseList.cpp
ClauseList.h		ClauseList.h
Debug.cpp		Debug.cpp
Debug.h		Debug.h
GetOpt.h		GetOpt.h
HOW_TO_BUILD		HOW_TO_BUILD
LightweightTypes.h		LightweightTypes.h
MAN_PAGE		MAN_PAGE
Makefile.linux		Makefile.linux
Makefile.w32		Makefile.w32
Maximums.h		Maximums.h
RandGen.cpp		RandGen.cpp
RandGen.h		RandGen.h
Random.cpp		Random.cpp
Random.h		Random.h
SATInstance.cpp		SATInstance.cpp
SATInstance.h		SATInstance.h
SATPreprocessor.cpp		SATPreprocessor.cpp
SATPreprocessor.h		SATPreprocessor.h
SATSolver.cpp		SATSolver.cpp
SATSolver.h		SATSolver.h
VariableList.cpp		VariableList.cpp
VariableList.h		VariableList.h
VariableSet.h		VariableSet.h
WHATS_NEW		WHATS_NEW
main.cpp		main.cpp
my_gmp.h		my_gmp.h
sat_solve.cpp		sat_solve.cpp