clingo-server

Install clingo, clingo-dl and clingcon development versions.

conda install -c potassco/label/dev clingo clingo-dl clingcon

Set paths to clingo and other theory plugin libraries libclingo.so libclingo-dl.so and libclingcon.so

export CLINGO_LIBRARY_PATH=~/miniconda3/envs/cl-server/lib
export CLINGO_DL_LIBRARY_PATH=~/miniconda3/envs/cl-server/lib
export CLINGCON_LIBRARY_PATH=~/miniconda3/envs/cl-server/lib
export LD_LIBRARY_PATH=~/miniconda3/envs/cl-server/lib

Start the server with

cargo run

Test the server with

python client.py -i queens.lp --assume

or

python client.py -i pigeonhole.lp --pigeons

or with dl constraints

python client.py -i taskassignment.lp --theory-dl

or with clingcon constraints

python client.py -i golomb.lp --theory-con

API documentation