Closed nickgian closed 4 years ago
This PR adds the new solution declarations to the master branch. Also removes a lot of dead code that was deprecated over time including (compression, boxed SMT encoding, functional SMT encoding, random testing).
This PR adds the new solution declarations to the master branch. Also removes a lot of dead code that was deprecated over time including (compression, boxed SMT encoding, functional SMT encoding, random testing).