56 commits

Author	SHA1	Message	Date
Alberto Gonzalez	b9e79e0bb7	Implement -write-solution option for the qbfsat command.	2020-04-04 22:13:26 +00:00
Alberto Gonzalez	d07ac2612b	Clean up passes/sat/qbfsat.cc.	2020-04-04 22:13:26 +00:00
Alberto Gonzalez	437afa1f0c	Updated yosys-smtbmc to optionally dump raw bit strings, and fixed hole value recovery using that mode.	2020-04-04 22:13:25 +00:00
Alberto Gonzalez	a4598d64ef	Hole value recovery and specialization implementation for qbfsat command.	2020-04-04 22:13:25 +00:00
Alberto Gonzalez	2fff574741	Barebones implementation of qbfsat command.	2020-04-04 22:13:25 +00:00
Alberto Gonzalez	fb878b2a70	Initial skeleton for qbfsat command.	2020-04-04 22:13:25 +00:00