KaroAPI4J

Aus KaroWiki
Zur Navigation springen Zur Suche springen

Was ist die KaroAPI4J?

Für den KaroMUSKEL war ab Anfang 2022 die Umstellung auf die KaroAPI notwendig. Zu diesem Zweck hat ultimate einen API-Wrapper in Java unter dem Namen KaroAPI4J geschrieben. Dieser kann für Implementierung von eigenen Programmen verwendet werden.

Häufig gestellte Fragen

Wie benutze ich die KaroAPI4J?

Am besten schaust du dir dazu die Demo im Source-Code an. Diese findest du unter: https://github.com/ultimate/KaroToolsCollection/blob/master/KaroAPI4J/src/main/java/ultimate/karoapi4j/Demo.java

Mir fehlt eine Funktion / Ich habe Verbesserungsvorschläge

Am besten erstellst du ein Issue unter https://github.com/ultimate/KaroToolsCollection/issues oder kontaktierst ultimate

Wo kann ich die KaroAPI4J downloaden?

Den Download findest du ebenfalls auf Github unter: https://github.com/ultimate/KaroToolsCollection/tree/master/archive