cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Collapse)	Author
2018-03-20	Add support for CaDiCaL as eager BV SAT solver. (#1675)	Mathias Preiner

2018-03-08	Cleanup Cryptominisat SAT wrapper. (#1652)	Mathias Preiner
	Cryptominisat has name conflicts with the other Minisat implementations since the Minisat implementations export var_Undef, l_True, ... as macro whereas Cryptominisat uses static const. In order to avoid these conflicts we forward declare CMSat::SATSolver and include the cryptominisat header only in cryptominisat.cpp. Further, the helper functions are moved into an anonymous namespace in the .cpp file and functions that were not used are removed.
2018-02-07	Cleanup Cryptominisat header. (#1561)	Mathias Preiner
	Clang formatted sat_solver_factor.cpp
2017-07-07	Update copyright headers.	Mathias Preiner

2017-07-07	Use new copyright header format.	Mathias Preiner

2016-09-01	Relaxing the throw specifiers for the destructors for Node, TypeNode, the ↵	Tim King
	context/ classes, and their subclasses. Fixes compilation issues with clang 3.5 and -std=c++11 'exception specification of overriding function is more lax than base version' for a couple of different classes.
2016-05-24	Fixed build issue due to dummy Cryptominisat constructor.	Liana Hadarean

2016-05-24	Merged cryptominisat from experimental branch.	Liana Hadarean