Mikulas Patocka b5821f6e5e Add an option "ctrl_c" that can be used to disable Ctrl-C signal handling ... Add this option, so that the z3 library can be used in programs that do signal handling on their own. Signed-off-by: Mikulas Patocka <mikulas@twibright.com>		2025-04-09 19:03:26 +02:00
..
ackermannization	delete more default constructors	2024-09-23 12:59:04 +01:00
api	list[ExprRef] doesn't build for python	2025-04-05 14:45:52 -07:00
ast	turn on ite simplification by default	2025-03-26 11:30:08 -07:00
cmd_context	fix #7560	2025-02-19 09:39:17 -08:00
math	fix #7607	2025-04-05 11:58:47 -07:00
model	revert flat default	2025-01-27 16:56:12 -08:00
muz	fix #4117	2025-03-12 20:14:36 -07:00
nlsat	replace Exists by ForAll in the mathematica lemmas	2025-03-27 12:32:37 -07:00
opt	fix #7578	2025-03-09 17:01:42 -07:00
params	Add an option "ctrl_c" that can be used to disable Ctrl-C signal handling	2025-04-09 19:03:26 +02:00
parsers	inherit more exceptions from std::exception	2024-11-04 13:52:14 -08:00
qe	fix #7572 and fix #7574	2025-03-07 10:46:29 -08:00
sat	fix #7572 and fix #7574	2025-03-07 10:46:29 -08:00
shell	fix #7461	2024-12-09 16:57:17 -08:00
smt	rename function	2025-04-04 18:40:15 -07:00
solver	fix #7590 logic alphabet soup	2025-03-19 08:57:32 -10:00
tactic	household chores - move to iterators	2025-03-24 12:36:13 -07:00
test	use iterators on goal and other refactoring	2025-03-16 20:04:04 -07:00
util	Add an option "ctrl_c" that can be used to disable Ctrl-C signal handling	2025-04-09 19:03:26 +02:00
CMakeLists.txt	Sls (#7439)	2024-11-02 12:32:48 -07:00