7 commits

Author	SHA1	Message	Date
Clifford Wolf	a2c1dd3f91	Yices 2 is the new default solver for yosys-smtbmc	2017-05-27 12:04:43 +02:00
Clifford Wolf	be8c995e15	Improve option handling	2017-02-26 14:32:33 +01:00
Clifford Wolf	7be08218cb	Add "append" option	2017-02-26 11:08:14 +01:00
Clifford Wolf	eb83a1b90e	Add aigsmt option	2017-02-25 15:06:47 +01:00
Clifford Wolf	b5be4a5759	Add aiger engine	2017-02-19 23:53:01 +01:00
Clifford Wolf	ffeee1a11f	Add smtbmc prove support	2017-01-30 12:59:20 +01:00
Clifford Wolf	5125128bbd	Added prove mode support via "abc pdr"	2017-01-30 12:32:49 +01:00