8 commits

Author	SHA1	Message	Date
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	7085657687	Add options to set tool paths	2017-02-09 14:09:14 +01:00
Clifford Wolf	c2c273c7c8	Add "expect" config option	2017-02-06 16:30:29 +01:00
Clifford Wolf	b8fefaa25b	Improve "abc sim3" handling	2017-02-03 12:17:22 +01:00
Clifford Wolf	1f6037c158	Add support for "abc sim3" engine	2017-02-02 16:59:09 +01:00
Clifford Wolf	5125128bbd	Added prove mode support via "abc pdr"	2017-01-30 12:32:49 +01:00
Clifford Wolf	363273df52	Refactor engine/mode interfaces	2017-01-30 11:57:04 +01:00

Renamed from sbysrc/sby_bmc.py (Browse further)