hexhex/caspplugin
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
dlvhex-caspplugin -- Constraint ASP plugin for dlvhex ==== Installation ------------ Requirements: - dlvhex - gecode Build and install from source, standard approach: - ./bootstrap - ./configure - ./make - ./make install