🍜
Dockerfile for EZCSP and depended programs on Ubuntu yakkety to define @S-Shimotori 's research environment.
The Dockerfile has a command to install dlv_rsig(See EZCSP's page) to build EZCSP. It also includes gringo, clasp, mkatoms and CP solvers(BProlog and SWIProlog) to run.
programs | version |
---|---|
EZCSP | 1.7.9 |
dlv_rsig | 1.8.10 |
clingo | 5.2.0 |
mkatoms | 2.16 |
BProlog | 7.5(EZCSP recommends) |
SWIProlog | 7.2.3+dfsg-1build2 |
EZCSP is an inference engine that allows computing extended answer sets of ASP programs, as defined in [bal09a,bal09b].
Run ezcsp
with an option specifying CP solver.
ezcsp --sicstus3 hoge.ez
ezcsp --bprolog hoge.ez
ezcsp --swiprolog hoge.ez
ezcsp --gams hoge.ez
linear propagating using clingo theory language and interface. https://github.com/potassco/clingoLP
programs | version |
---|---|
lpsolve | 5.5.2.5 |