60 commits

Author	SHA1	Message	Date
Alberto Gonzalez	acf96b6b0b	Remove unimplemented -timeout option.	2020-04-04 22:13:26 +00:00
Alberto Gonzalez	bb101e0b3a	Implement the -assume-outputs, -sat, and -unsat options for the qbfsat` command.	2020-04-04 22:13:26 +00:00
Alberto Gonzalez	5527063f66	Add NDEBUG guards to qbfsat assertions.	2020-04-04 22:13:26 +00:00
Alberto Gonzalez	3a4fd4a999	Implement -specialize-from-file option for the qbfsat command.	2020-04-04 22:13:26 +00:00
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