🍜
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.ezlinear propagating using clingo theory language and interface. https://github.com/potassco/clingoLP
| programs | version |
|---|---|
| lpsolve | 5.5.2.5 |