search

DeMaCS-UNICAL / EmbASP

A general framework for embedding Logic Programming in complex systems
https://www.mat.unical.it/calimeri/projects/embasp
MIT License
27 stars 7 forks source link

Added IDLV executables #71

Closed umuss closed 4 years ago

umuss commented 4 years ago

Added both 32 and 64 bit executables of the latest version of I-DLV, for both Windows and Linux, to use with the IDLVDesktopServiceTest class.