Un progetto Java che integra EmbASP per la programmazione dichiarativa (Answer Set Programming) tramite interfacce grafiche e engine logici.
Il progetto utilizza Maven per la gestione delle dipendenze. Una delle librerie principali è EmbASP, che non è disponibile su Maven Central ma può essere importata tramite JitPack.
Assicurati che nel tuo pom.xml sia presente:
<repositories>
<repository>
<id>jitpack.io</id>
<url>https://jitpack.io</url>
</repository>
</repositories>
<dependency>
<groupId>com.github.DeMaCS-UNICAL</groupId>
<artifactId>EmbASP-Java</artifactId>
<version>v7.1.0</version>
</dependency>Poi esegui:
mvn clean install -Uℹ️ Nota: la versione deve essere
v7.1.0(con lav) perché è il nome esatto del tag rilasciato nel repository GitHub.
Se Maven non riesce a scaricare la dipendenza da JitPack (es. per problemi di build del repo o mancanza di accesso), puoi procedere in modo manuale.
Scaricalo dalla sezione Releases del repository: 🔗 https://github.com/DeMaCS-UNICAL/EmbASP-Java/releases/tag/v7.1.0
Esempio:
LittleStars-AI/
├── libs/
│ └── embasp-7.1.0.jar
Esegui il seguente comando:
mvn install:install-file \
-Dfile=libs/embasp-7.1.0.jar \
-DgroupId=it.unical.mat \
-DartifactId=embasp \
-Dversion=7.1.0 \
-Dpackaging=jar<dependency>
<groupId>it.unical.mat</groupId>
<artifactId>embasp</artifactId>
<version>7.1.0</version>
</dependency>- Questo approccio manuale funziona solo localmente, quindi ogni sviluppatore dovrà eseguire lo stesso comando se clona il progetto.
- In alternativa, puoi usare direttamente il file
.jarconsystemPath, ma è sconsigliato.