Commit 9a0fb512 authored by martin.hecker's avatar martin.hecker
Browse files

add a short README for the ECLiPSe example

parent 7518244b
Run the example via
rlwrap eclipse -f
and then, e.g.,
[eclipse 3]: solve(L), labeling(L).
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment