SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving.

Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika brahm

Browse the full SAT paper archive.