lua-clingo
Lua bindings for Clingo
Lua bindings for Clingo, a grounder and solver for logic programs. Detailed information (including a User's manual), source code, and pre-compiled binaries are available at: http://potassco.org/
MITcloud_download Downloads
To download packages, you need to log in and have a valid subscription.
Please select a product to see the available package versions:
Loading...
Loading package downloads...