Link Search Menu Expand Document


SATS provides two APIs: The Core API to generate auction instances and the Optimization API, which extends the Core API by solving the winner determination problems.

Getting started

Both APIs are bundled in one package and deployed on Maven Central. Hence, with Maven, including sats is as easy as:

  <version> --INSERT-LATEST-VERSION-HERE-- </version>

This is enough information for Maven to download the dependency automatically.

Alternative without Maven: The pre-compiled jar files are also available on github. You can include them in your project directly.


To see how to use the respective APIs, check out the examples on GitHub:

Copyright M. Weiss, S. Seuken, B. Lubin, University of Zurich and Boston University. Distributed by an AGPL-3.0 license.