GitHub - lijwen2748/simplecar

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 48 Commits
glucose		glucose
minisat		minisat
picosat		picosat
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
LICENCE		LICENCE
Makefile		Makefile
README		README
aiger.c		aiger.c
aiger.h		aiger.h
bfschecker.cpp		bfschecker.cpp
bfschecker.h		bfschecker.h
carsolver.cpp		carsolver.cpp
carsolver.h		carsolver.h
checker.cpp		checker.cpp
checker.h		checker.h
data_structure.cpp		data_structure.cpp
data_structure.h		data_structure.h
hash_map.h		hash_map.h
hash_set.h		hash_set.h
invsolver.h		invsolver.h
main.cpp		main.cpp
mainsolver.cpp		mainsolver.cpp
mainsolver.h		mainsolver.h
model.cpp		model.cpp
model.h		model.h
recycle.cpp		recycle.cpp
startsolver.h		startsolver.h
statistics.h		statistics.h
test		test
utility.cpp		utility.cpp
utility.h		utility.h

Repository files navigation

/***************************************************/
* SimpleCAR is being actively updated.             *
* To download the sources for VSTTE 2019 (submission) or CAV 2018 evaluation, *
* please see the release.                          *
/***************************************************/


1 To install simplecar: make under the root directory of source codes

2 To run simplecar: ./simplecar -h for details

For example, you can run "./simplecar -b -e ../benchmarks/single/counterp0.aig ./"
After the program teminates, two files "counterp0.log" (output of simplecar) and "counterp0.res" (counterexample in aiger model) will be generated under the current directory.