9 Commits

Author	SHA1	Message	Date
Marenz	f7cc29bec1	Add std:: qualifier to move() calls	2022-08-30 11:12:15 +02:00
Leo Alt	6c8ecfa82c	Add option to choose solver	2021-07-27 17:14:21 +02:00
Daniel Kirchner	7308abc084	Allow loading Z3 dynamically at runtime.	2020-12-10 16:47:47 +01:00
Leonardo Alt	d03ddeb0fa	[SMTChecker] User timeout option	2020-11-03 10:46:11 +00:00
chriseth	a2cac93cbf	Introduce bitvector sort.	2020-09-09 17:26:52 +02:00
Sachin Grover	b7adb2aa42	Add SPDX license identifier if not present already in source file ... Fixes: #9220	2020-07-17 20:24:12 +05:30
Leonardo Alt	25de3975ce	Add SMTLogicException	2020-05-20 12:55:19 +02:00
Leonardo Alt	45eba27424	Rename namespace	2020-05-20 12:55:18 +02:00
Leonardo Alt	087605ea02	Create libsmtutil	2020-05-20 12:55:18 +02:00