Chair of Computer Architecture

University of Freiburg


We are currently in the process of setting up the software pages.

You might find some of the software we provide at or at our old software pages at JKU For IsaSAT, please refer to where you can in particular download the solver directly.