Merge pull request #2015 from boqwxp/qbfsat-bisection
authorclairexen <claire@symbioticeda.com>
Mon, 25 May 2020 13:50:18 +0000 (15:50 +0200)
committerGitHub <noreply@github.com>
Mon, 25 May 2020 13:50:18 +0000 (15:50 +0200)
commitae11156c90eec958cd9ab631a28c41eccc105e56
tree274a44b5e17856a7f357600f9c0cfaa02dea3e7a
parent89ed34fe55fd6a70b51ff68439e68f9a9e0b9e0f
parentac41f8a9c7a89c176867dc217eb81bffa7c1aced
Merge pull request #2015 from boqwxp/qbfsat-bisection

qbfsat: Add an iterative bisection optimization method and make it the default.