4 commits

Author	SHA1	Message	Date
Clifford Wolf	a61c88f122	Added $anyconst support to AIGER back-end	2016-12-11 13:48:18 +01:00
Clifford Wolf	a44cc7a3d1	Added $assert/$assume support to AIGER back-end	2016-12-03 13:20:29 +01:00
Clifford Wolf	5fa1fa1e6f	Added "write_aiger -zinit -symbols -vmap"	2016-12-01 11:04:36 +01:00
Clifford Wolf	c1f762ca56	Added "write_aiger" command	2016-11-30 21:30:24 +01:00