Name		Name	Last commit message	Last commit date
parent directory ..
minisat		minisat
.gitignore		.gitignore
ActsSolver.cc		ActsSolver.cc
ActsSolver.h		ActsSolver.h
Combinadic.cc		Combinadic.cc
Combinadic.h		Combinadic.h
ConstraintFile.C		ConstraintFile.C
ConstraintFile.H		ConstraintFile.H
Coverage.cc		Coverage.cc
Coverage.h		Coverage.h
CoveringArray.cc		CoveringArray.cc
CoveringArray.h		CoveringArray.h
LICENSE		LICENSE
LineVarTupleSet.cc		LineVarTupleSet.cc
LineVarTupleSet.h		LineVarTupleSet.h
LocalSearch.cc		LocalSearch.cc
LocalSearch.h		LocalSearch.h
Makefile		Makefile
OptionTupleSet.cc		OptionTupleSet.cc
OptionTupleSet.h		OptionTupleSet.h
Options.cc		Options.cc
Options.h		Options.h
PascalTriangle.cc		PascalTriangle.cc
PascalTriangle.h		PascalTriangle.h
README.md		README.md
SAT.C		SAT.C
SAT.H		SAT.H
SpecificationFile.cc		SpecificationFile.cc
SpecificationFile.h		SpecificationFile.h
Tabu.h		Tabu.h
TestSetFile.C		TestSetFile.C
TestSetFile.H		TestSetFile.H
ThreadTmpResult.h		ThreadTmpResult.h
TupleSet.cc		TupleSet.cc
TupleSet.h		TupleSet.h
Valid_check.h		Valid_check.h
acts_cmd_2.92.jar		acts_cmd_2.92.jar
integrate.sh		integrate.sh
io.cc		io.cc
io.h		io.h
main.cc		main.cc
mersenne.cc		mersenne.cc
mersenne.h		mersenne.h

README.md

FastCA

compile

make

usage

./FastCA <model file> [<constraint file>] <cutoff time> <seed>