KaroAPI4J: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
| Zeile 15: | Zeile 15: | ||
== Wo kann ich die KaroAPI4J downloaden? == | == Wo kann ich die KaroAPI4J downloaden? == | ||
| − | Den Download findest du ebenfalls auf Github unter: https://github.com/ultimate/KaroToolsCollection/tree/master/archive | + | Den Download findest du ebenfalls auf Github unter: https://github.com/ultimate/KaroToolsCollection/tree/master/archive.<br> |
| + | Dort gibt es je Version 2 verschiedene Builds: | ||
| + | * KaroAPI4J-x.x.x-jar - enthält nur den KaroAPI4J-Code; Dependencies müssen selbst hinzugefügt werden | ||
| + | * KaroAPI4J-x.x.x-bin-jar - enthält die KaroAPI4J inkl. aller Dependencies | ||
Aktuelle Version vom 17. März 2022, 15:40 Uhr
Inhaltsverzeichnis
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.
Dort gibt es je Version 2 verschiedene Builds:
- KaroAPI4J-x.x.x-jar - enthält nur den KaroAPI4J-Code; Dependencies müssen selbst hinzugefügt werden
- KaroAPI4J-x.x.x-bin-jar - enthält die KaroAPI4J inkl. aller Dependencies
