Implement porfolio solver backend
jryans opened this issue · 0 comments
jryans commented
This portfolio mode would run both Z3 and the CXXFuzzingSolver backends and return the result of which ever solver finished first.
Implementing this option would turn JFS from an incomplete solver into a complete solver. This would likely be necessary for any real world adoption of JFS.