git.libre-soc.org Git - cvc5.git/commit

author	Liana Hadarean <lianahady@gmail.com>
	Wed, 25 May 2016 05:30:41 +0000 (22:30 -0700)
committer	Liana Hadarean <lianahady@gmail.com>
	Wed, 25 May 2016 05:30:48 +0000 (22:30 -0700)
commit	2591fc4f57030b31c2c49d5c2dae9e96d3ce3afa
tree	0296cb4f8194aef27813ef5251e88f475c9a6ffb	tree
parent	beaf8b212dfadb47328942c23a7649ab44a014cb	commit \| diff

Merged cryptominisat from experimental branch.

23 files changed:

config/cryptominisat.m4	[new file with mode: 0644]	blob
configure.ac		diff \| blob \| history
contrib/cryptominisat-4.2.0.patch	[new file with mode: 0644]	blob
contrib/get-cryptominisat4	[new file with mode: 0755]	blob
src/Makefile.am		diff \| blob \| history
src/base/configuration.cpp		diff \| blob \| history
src/base/configuration.h		diff \| blob \| history
src/base/configuration_private.h		diff \| blob \| history
src/options/bv_bitblast_mode.cpp		diff \| blob \| history
src/options/bv_bitblast_mode.h		diff \| blob \| history
src/options/bv_options		diff \| blob \| history
src/options/options_handler.cpp		diff \| blob \| history
src/options/options_handler.h		diff \| blob \| history
src/prop/bvminisat/bvminisat.h		diff \| blob \| history
src/prop/cryptominisat.cpp	[new file with mode: 0644]	blob
src/prop/cryptominisat.h	[new file with mode: 0644]	blob
src/prop/minisat/minisat.h		diff \| blob \| history
src/prop/sat_solver.h		diff \| blob \| history
src/prop/sat_solver_factory.cpp		diff \| blob \| history
src/prop/sat_solver_factory.h		diff \| blob \| history
src/theory/bv/aig_bitblaster.cpp		diff \| blob \| history
src/theory/bv/bitblaster_template.h		diff \| blob \| history
src/theory/bv/eager_bitblaster.cpp		diff \| blob \| history