5 Commits

Author	SHA1	Message	Date
jpathy	7db05b2cc1	Use `realpath` ... Use `os.path.realpath` instead to make sure symlinks are followed. This is also required to work for nix package manager.	2018-08-06 06:51:07 +00:00
Clifford Wolf	3c31572152	Added yosys-smtbmc copyright	2015-10-14 01:31:54 +02:00
Clifford Wolf	d7de0f4bd1	Improvements in yosys-smtbmc	2015-10-14 01:27:55 +02:00
Clifford Wolf	821f1b8534	Added yosys-smtbmc	2015-10-14 00:47:04 +02:00
Clifford Wolf	e548483c91	Added write_smt2 (only gate level logic supported so far)	2014-12-24 16:17:57 +01:00