5 Commits

Author	SHA1	Message	Date
Eddie Hung	a04521c6b7	Fix read_aiger -- create zero driver, fix init width, parse 'b'	2019-06-07 11:07:15 -07:00
Eddie Hung	3e89cf68bd	Add author name	2019-03-19 08:52:06 -07:00
Eddie Hung	fb8ad440a3	Allow module name to be determined by argument too	2019-02-08 12:40:43 -08:00
Eddie Hung	f1befe1b44	Refactor into AigerReader class	2019-02-08 12:04:26 -08:00
Eddie Hung	cc0b723484	WIP	2019-02-06 12:19:48 -08:00