asmeta main repository with code and examples
For more info about asmeta see: https://asmeta.github.io/
To use the asmeta framework in Eclipse IDE you need to install:
new version 24.06! new TL operators names and minor fixes - multiple architecture (win, lin, macos):
https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2024_06_win64.zip
https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2024_06_macOs_aarch64.zip
https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2024_06_linux_x86_64.zip
https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2024_04.zip
https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2023_12.zip
https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2023_06.zip
https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2023_05.zip
https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2023_03.zip
https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2022_09.zip
https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2022_04.zip
https://foselab.unibg.it/asmeta/eclipse_asmeta_smv_2021_06.zip