Created temporary directory: /tmp/pip-ephem-wheel-cache-7ruo0qd4 Created temporary directory: /tmp/pip-req-tracker-ynivljq7 Created requirements tracker '/tmp/pip-req-tracker-ynivljq7' Created temporary directory: /tmp/pip-wheel-darht6z9 Collecting hexlite==1.1.0 1 location(s) to search for versions of hexlite: * https://pypi.org/simple/hexlite/ Getting page https://pypi.org/simple/hexlite/ Analyzing links from page https://pypi.org/simple/hexlite/ Found link https://files.pythonhosted.org/packages/1f/9b/5881ea3e9c1e34c1b76781f189dbc372d892754530df7ab59970d96066f9/hexlite-0.3.tar.gz#sha256=afbf610c34eb7ac2fa39691e940b97f32040dfa2d0d3c75bfecabf4d536d273d (from https://pypi.org/simple/hexlite/), version: 0.3 Found link https://files.pythonhosted.org/packages/74/cc/19efd9d32fbc302f295c86dca2056713d3e2c017fbc230b658dc8960bb87/hexlite-0.3.1.tar.gz#sha256=7e42927c7d3fd35e3ab57361991b9f07b4c31fe060a1cff17925bfcb01fb095f (from https://pypi.org/simple/hexlite/), version: 0.3.1 Found link https://files.pythonhosted.org/packages/cd/9e/1f854c7a2ddb12fe8a8603e490321337e1ad088b1535272a8fe3fa661a83/hexlite-0.3.2.tar.gz#sha256=e9a2b7dfdc41a224fa7c5879cba17aebb5f1fceede6e14094277ae0eabd04d29 (from https://pypi.org/simple/hexlite/), version: 0.3.2 Found link https://files.pythonhosted.org/packages/fd/17/01f9eb2c4237fd2aca7182c3dfcaa11249087826a68c43505478e819cbf5/hexlite-0.3.3.tar.gz#sha256=ecccf1aa54a6967f8f48911bcf638c6c9b2ec3e55cee43cba501def84560f23b (from https://pypi.org/simple/hexlite/), version: 0.3.3 Found link https://files.pythonhosted.org/packages/23/14/f48830851e9f84702e006bcf5dc8e7df89a901d68f2374361a6b345d213a/hexlite-0.3.4.tar.gz#sha256=a1000733b8b2f253d0c1f8d587f783687b6999514be2df234d9a64c5fd5a3fd6 (from https://pypi.org/simple/hexlite/), version: 0.3.4 Found link https://files.pythonhosted.org/packages/24/e6/302cdbf4aa54673803451aa5952682543fa33b0ecb59b08fb0fde91dee69/hexlite-0.3.5.tar.gz#sha256=46667b0005e26307daf1020527a11cca48e0e5da7014748fc8c9d5036074d79e (from https://pypi.org/simple/hexlite/), version: 0.3.5 Found link https://files.pythonhosted.org/packages/76/b7/f4ea87d6c7011c88e4e1f597bf68f652223a9ba596e91c3e2523837a36f8/hexlite-0.3.6.tar.gz#sha256=aeb16b757651d3ef420977a0d49c5f17c183fec96783999a2947183a1ac5c4e8 (from https://pypi.org/simple/hexlite/), version: 0.3.6 Found link https://files.pythonhosted.org/packages/5f/80/9680376d26c0df47e543543435feb92315b0908eb20eb95786633e134b63/hexlite-0.3.7.tar.gz#sha256=f90bfd134dd0a52a297da6c51e5d39ff829f5c100483abe599dbeccc74f06111 (from https://pypi.org/simple/hexlite/), version: 0.3.7 Found link https://files.pythonhosted.org/packages/c8/e6/58d30f98f8018ad56646e22ebb1802545d12943cc47ffd176cebe5ab3fc6/hexlite-0.3.8.tar.gz#sha256=4738303d6c64711aca97b1f4e7b3379109d4232340f3d5dc8eba8b8b2a6f43b7 (from https://pypi.org/simple/hexlite/), version: 0.3.8 Found link https://files.pythonhosted.org/packages/c5/6c/f331beec92c679735524307ca020ea968e6fda679f777bd1edae6004025f/hexlite-0.3.9.tar.gz#sha256=7c890b35d86f4e3a5faabf2414eabc19bf856b3b1525638cf8e39ec574708507 (from https://pypi.org/simple/hexlite/), version: 0.3.9 Found link https://files.pythonhosted.org/packages/51/97/50dc0f402d93b7994d7c8b073aec0968a2bc25aca9ee240de941636191b6/hexlite-0.3.10.tar.gz#sha256=eed54a2348d07f7debc35f6b2f0c239609bca7e85ed052f44297640458a139ec (from https://pypi.org/simple/hexlite/), version: 0.3.10 Found link https://files.pythonhosted.org/packages/f1/bc/07130a3f46ac9e6eb8efe0b56d46c3fe2fcedfd398b79bf63500d4797275/hexlite-0.3.11.tar.gz#sha256=07d24ea4ae1ef7f07c2e6b3d797371dd2a67c94ada633b715fc043b0fbbb8b84 (from https://pypi.org/simple/hexlite/), version: 0.3.11 Found link https://files.pythonhosted.org/packages/22/86/a95a9f844e353e4011ccec8ef644e525eb7d7ed569763fecebdc2db74a0f/hexlite-0.3.12.tar.gz#sha256=1e1d89ce20e28313969f34f927ba80d120027c1d5f8af47df9254551864ae92b (from https://pypi.org/simple/hexlite/), version: 0.3.12 Found link https://files.pythonhosted.org/packages/0a/fd/b92fb08d32b072596c72f1d55ac790b83f0764cd9c73d083e9bacd5883ea/hexlite-0.3.13.tar.gz#sha256=3a763f11b61fa78e0fde26f22160b8b0134065f43e68f9e23917364e519bed60 (from https://pypi.org/simple/hexlite/), version: 0.3.13 Found link https://files.pythonhosted.org/packages/ea/c6/b7d31fecb2f4f247e4871493663a2ee19d347f9a7ea7fa6c3b3b57474e63/hexlite-0.3.14.tar.gz#sha256=aa155698c67565ceed5a9e02d5ce9b91926a5861dd139319e2d2907d1bc2f54a (from https://pypi.org/simple/hexlite/), version: 0.3.14 Found link https://files.pythonhosted.org/packages/13/40/1c656e5091d8c19a92ace22413abc38753bc40bd5d755b00cb24b8687509/hexlite-0.3.15.tar.gz#sha256=1af27933b997b866e581cddb310dbaf253b04d90cc83e987ccf4035d8dcea265 (from https://pypi.org/simple/hexlite/), version: 0.3.15 Found link https://files.pythonhosted.org/packages/b3/bf/77e194fac4283fca3fee30da1bb99036c15fc9e64e85fc69ce33f649dfcf/hexlite-0.3.16.tar.gz#sha256=2c20eb430626b3fbc9b165a5c74adb2db039bdb3cf4ad1d3ce49c15c5921b32d (from https://pypi.org/simple/hexlite/), version: 0.3.16 Found link https://files.pythonhosted.org/packages/81/db/f879974587fbdfb2ec5634645d9d746eaae8174756ca40335a712bbfbc7c/hexlite-0.3.17.tar.gz#sha256=4415d162d3c06aa41925c70bd0f8ede7745fe7e892a587781473c5ccb2059ac6 (from https://pypi.org/simple/hexlite/), version: 0.3.17 Found link https://files.pythonhosted.org/packages/e2/81/d8bab77738ee884a0811bc4e82f41db5dd2e0c368065791795e689ad84ad/hexlite-0.3.18.tar.gz#sha256=4592617d0010ced9ebdc29084f637328eb49f2212ffa06040eedb42c42389455 (from https://pypi.org/simple/hexlite/), version: 0.3.18 Found link https://files.pythonhosted.org/packages/f1/2b/a54e6b4f37fd46a308c67dd9b6fef40c4c3cb5d59692d77f4998cad48983/hexlite-0.3.19.tar.gz#sha256=8708d7bf0c5cf44ef679af5b8d86fa4cca8d7ceba3616f96bbb7605678d167c1 (from https://pypi.org/simple/hexlite/), version: 0.3.19 Found link https://files.pythonhosted.org/packages/c9/2e/fa1009b9afb61351f70accff263f9e6ee3398b52ed356182cd01253a91f5/hexlite-0.3.20.tar.gz#sha256=e7ae1f17ac0adc62c53cfaed86da84e56d08549b9bc181ed7c88abee9fd0a52b (from https://pypi.org/simple/hexlite/), version: 0.3.20 Found link https://files.pythonhosted.org/packages/4b/6e/9d0f4e1b50342808e45765b2abb526b7c8f6c9b5dab709e9b35f6279fbaa/hexlite-1.0.0.tar.gz#sha256=5a85ef26cbe4749a098a5ab6f24ed1e2ff58301c9b1c4071881d06a85fa0fd26 (from https://pypi.org/simple/hexlite/), version: 1.0.0 Found link https://files.pythonhosted.org/packages/12/47/7ba7f44d74317ff94a758b4b455a44deefcb25313e04792367c4c574e6b0/hexlite-1.0.1.tar.gz#sha256=d5d7a3bfad137671e9fcb52c24da76951206b73bffdb8b26079be750473b1d0b (from https://pypi.org/simple/hexlite/), version: 1.0.1 Found link https://files.pythonhosted.org/packages/aa/e0/07baa8c10d6be94a6492902f715f68e3e191461cf1dce343aca157ea4846/hexlite-1.1.0.tar.gz#sha256=e05f33699b76f499df2165b6907f576f7daa570800db5a9419d60a71ebbb356a (from https://pypi.org/simple/hexlite/), version: 1.1.0 Using version 1.1.0 (newest of versions: 1.1.0) Created temporary directory: /tmp/pip-unpack-g9wcitxi Downloading https://files.pythonhosted.org/packages/aa/e0/07baa8c10d6be94a6492902f715f68e3e191461cf1dce343aca157ea4846/hexlite-1.1.0.tar.gz (55kB) Downloading from URL https://files.pythonhosted.org/packages/aa/e0/07baa8c10d6be94a6492902f715f68e3e191461cf1dce343aca157ea4846/hexlite-1.1.0.tar.gz#sha256=e05f33699b76f499df2165b6907f576f7daa570800db5a9419d60a71ebbb356a (from https://pypi.org/simple/hexlite/) Added hexlite==1.1.0 from https://files.pythonhosted.org/packages/aa/e0/07baa8c10d6be94a6492902f715f68e3e191461cf1dce343aca157ea4846/hexlite-1.1.0.tar.gz#sha256=e05f33699b76f499df2165b6907f576f7daa570800db5a9419d60a71ebbb356a to build tracker '/tmp/pip-req-tracker-ynivljq7' Running setup.py (path:/tmp/pip-wheel-darht6z9/hexlite/setup.py) egg_info for package hexlite Running command python setup.py egg_info '\n# Hexlite - Solver for a fragment of HEX\n\nThis is a solver for a fragment of the HEX language and for Python-based plugins\nwhich is based on Python interfaces of Clingo and does not contain any C++ code itself.\n\nThe intention is to provide a lightweight system for an easy start with HEX.\n\nThe vision is that HEXLite can use existing Python plugins and runs based on\nthe Clingo python interface, without realizing the full power of HEX.\n\nThe system is currently under development and only works for certain programs:\n* External atoms with only constant inputs are evaluated during grounding in Gringo\n* External atoms with predicate input(s) and no constant outputs are evaluated during solving in a clasp Propagator\n* External atoms with predicate input(s) and constant outputs that have a domain predicate can also be evaluated\n* Liberal Safety is not implemented\n* Properties of external atoms are not used\n* If it has a finite grounding, it will terminate, otherwise, it will not - as usual with Gringo\n* FLP Check is implemented explicitly and does not work with strong negation and weak constraints\n* FLP Check can be deactivated\n* There is a Java Plugin API (see below)\n\nThe system is described in the following publication.\n\n Peter Schüller (2019)\n The Hexlite Solver.\n In: Logics in Artificial Intelligence. JELIA 2019. Lecture Notes in Computer Science, vol 11468. Springer, Cham\n https://doi.org/10.1007/978-3-030-19570-0_39\n\nIn case of bugs please report an issue here: https://github.com/hexhex/hexlite/issues\n\n* License: MIT\n* Author: Peter Schüller \n* Available at PyPi: https://pypi.python.org/pypi/hexlite\n* Installation with Conda:\n\n The easiest way to install `hexlite` is Conda.\n \n First you need to install the `clingo` dependency:\n\n ```$ conda install -c potassco clingo```\n\n Then you install hexlite:\n\n ```$ conda install -c peterschueller hexlite```\n\n (If you wonder why we do not automatically install clingo as a dependency:\n certain conda restrictions prevent that `clingo` is automatically installed\n unless the potassco channel is **manually** added by the user.)\n\n Then you test hexlite:\n\n ```$ hexlite -h```\n\n* Installation with pip:\n\n This will download, build, and locally install Python-enabled `clingo` modules.\n\n * If you do not have it: install `python-pip`: for example under Ubuntu via\n \n ```$ sudo apt-get install python-pip```\n\n * Install hexlite:\n\n ```$ pip install hexlite --user```\n\n * Setup Python to use the "Userinstall" environment that allows you\n to install Python programs without overwriting system packages:\n\n Add the following to your `.profile` or `.bashrc` file:\n\n ```\n export PYTHONUSERBASE=~/.local/\n export PATH=$PATH:~/.local/bin\n ```\n\n * Run hexlite the first time. This will help to download and build pyclingo unless it is already usable via `import clingo`:\n\n ```$ hexlite```\n\n The first run of hexlite might ask you to enter the sudo password\n to install several packages.\n (You can do this manually. Simply abort and later run `hexlite` again.)\n\n * Ubuntu 16.04 is tested\n * Debian 8.6 (jessie) is tested\n * Ubuntu 14.04 can not work without manual installation of cmake 3.1 or higher (for buildling clingo)\n\n* Using the Java API\n\n Building the JAVA API is not automated, you need to install `Jpype >=0.7.2` and `ant` and `maven` and run\n\n ```mvn clean compile package install```\n\n See also `.travis.yml` how to build and install and test the Java plugin.\n\n* Using the Docker image\n\n There is a Dockerfile that builds a docker image where hexlite and its source code is installed.\n\n Build the image with\n\n ```$ ./build-docker-image.sh```\n\n Run the image and start a shell in the image with\n\n ```$ ./run-docker-image.sh```\n \n In the image, run an example:\n\n ```\n # hexlite --pluginpath /opt/hexlite/plugins/ --plugin testplugin -- /opt/hexlite/tests/inputs/extatom2.hex\n ```\n\n Should give the following output (it is a set, the order of items does not matter):\n\n `{prefix("test:"),more("a","b","c"),complete("test: a b c")}`\n\n# Running Hexlite on Examples in the Repository\n\n* If `hexlite` by itself shows the help, you can run it on some examples in the repository.\n\n* Hexlite needs to know where to find plugins and what is the name of the Python modules of these plugins\n\n\t* The path for plugins is given as argument ``--pluginpath ``.\n\n\t This argument can be given multiple times. You can use absolute or relative paths.\n\n\t* The python modules to load are given as argument ``--plugin [ ]``.\n\t\n\t Multiple plugins can be loaded.\n Each plugin can have arguments.\n\n\t !ATTENTION!:\n\t If you specify the HEX input file after ``--plugin ``, it becomes the argument of the plugin.\n\t In this case, you need to\n\t\n\t * specify the HEX input files _before_ the other arguments\n\t or\n\t * indicate end of the argument list with the ``--`` option.\n\n* To run one of the examples in the ``tests/`` directory you can use one of the following methods to call hexlite:\n\n ```\n $ hexlite --pluginpath ./plugins/ --plugin testplugin -- tests/inputs/extatom3.hex\n $ hexlite tests/inputs/extatom3.hex --pluginpath ./plugins/ --plugin testplugin\n $ hexlite --pluginpath=./plugins/ --plugin=testplugin tests/inputs/extatom3.hex\n ```\n\n# Developer Readme\n\n* For developing hexlite without uploading to anaconda repository:\n\n * Install clingo with conda, but but do **not** install hexlite with conda.\n\n ```$ conda install -c potassco clingo```\n\n * checkout hexlite with git\n\n ```$ git clone git@github.com:hexhex/hexlite.git```\n\n * install `hexlite` in develop mode into your user-defined Python space:\n\n ```$ python3 setup.py develop --user```\n\n * If you want to remove this development installation:\n\n ```\n $ python3 setup.py develop --uninstall --user\n $ rm ~/.local/bin/hexlite\n ```\n\n (Installed scripts are not automatically uninstalled.)\n\n* For building and uploading a new version to pip and conda (Note: conda requires to upload to pip first)\n \n * Update version in `setup.py`.\n\n * Build pypi source package\n\n `$ python setup.py sdist`\n\n\t* Verify that dist/ contains the right archives with the right content (no wheels etc.)\n\n\t* Upload to pypi\n\n `$ twine upload dist/*`\n\n * Update version in `meta.yaml`.\n\n * Build for anaconda cloud\n \n First, some conda packages need to be installed via `conda install conda-build conda-verify anaconda`.\n\n `$ conda build .`\n\n (get upload command from last lines of output)\n\n If conda is installed on an encrypted /home/ or similar, this will abort with a permission error.\n You can make it work by creating a new directory on an unencrypted `/tmp/`, for example `/tmp/conda-build`,\n and run conda build as follows:\n\n `$ conda build --croot /tmp/conda-build/ .`\n\n * Verify that archive to upload contains the right content (and no backup files, experimental results, etc...)\n\n `$ anaconda upload `\n\n* Roadmap\n\n - make it deployable via conda and pip\n\n* Jpype\n\n - we need version 0.7.2 the versions below have a bug that affects us\n - conda-forge has 0.7.2\n\n $ conda install -c conda-forge jpype1 \n' running egg_info creating pip-egg-info/hexlite.egg-info writing entry points to pip-egg-info/hexlite.egg-info/entry_points.txt writing pip-egg-info/hexlite.egg-info/PKG-INFO writing top-level names to pip-egg-info/hexlite.egg-info/top_level.txt writing dependency_links to pip-egg-info/hexlite.egg-info/dependency_links.txt writing requirements to pip-egg-info/hexlite.egg-info/requires.txt writing manifest file 'pip-egg-info/hexlite.egg-info/SOURCES.txt' reading manifest file 'pip-egg-info/hexlite.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' writing manifest file 'pip-egg-info/hexlite.egg-info/SOURCES.txt' Source in /tmp/pip-wheel-darht6z9/hexlite has version 1.1.0, which satisfies requirement hexlite==1.1.0 from https://files.pythonhosted.org/packages/aa/e0/07baa8c10d6be94a6492902f715f68e3e191461cf1dce343aca157ea4846/hexlite-1.1.0.tar.gz#sha256=e05f33699b76f499df2165b6907f576f7daa570800db5a9419d60a71ebbb356a Removed hexlite==1.1.0 from https://files.pythonhosted.org/packages/aa/e0/07baa8c10d6be94a6492902f715f68e3e191461cf1dce343aca157ea4846/hexlite-1.1.0.tar.gz#sha256=e05f33699b76f499df2165b6907f576f7daa570800db5a9419d60a71ebbb356a from build tracker '/tmp/pip-req-tracker-ynivljq7' Building wheels for collected packages: hexlite Created temporary directory: /tmp/pip-wheel-ksr3wx3d Running setup.py bdist_wheel for hexlite: started Destination directory: /tmp/pip-wheel-ksr3wx3d Running command /usr/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-wheel-darht6z9/hexlite/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d /tmp/pip-wheel-ksr3wx3d '\n# Hexlite - Solver for a fragment of HEX\n\nThis is a solver for a fragment of the HEX language and for Python-based plugins\nwhich is based on Python interfaces of Clingo and does not contain any C++ code itself.\n\nThe intention is to provide a lightweight system for an easy start with HEX.\n\nThe vision is that HEXLite can use existing Python plugins and runs based on\nthe Clingo python interface, without realizing the full power of HEX.\n\nThe system is currently under development and only works for certain programs:\n* External atoms with only constant inputs are evaluated during grounding in Gringo\n* External atoms with predicate input(s) and no constant outputs are evaluated during solving in a clasp Propagator\n* External atoms with predicate input(s) and constant outputs that have a domain predicate can also be evaluated\n* Liberal Safety is not implemented\n* Properties of external atoms are not used\n* If it has a finite grounding, it will terminate, otherwise, it will not - as usual with Gringo\n* FLP Check is implemented explicitly and does not work with strong negation and weak constraints\n* FLP Check can be deactivated\n* There is a Java Plugin API (see below)\n\nThe system is described in the following publication.\n\n Peter Schüller (2019)\n The Hexlite Solver.\n In: Logics in Artificial Intelligence. JELIA 2019. Lecture Notes in Computer Science, vol 11468. Springer, Cham\n https://doi.org/10.1007/978-3-030-19570-0_39\n\nIn case of bugs please report an issue here: https://github.com/hexhex/hexlite/issues\n\n* License: MIT\n* Author: Peter Schüller \n* Available at PyPi: https://pypi.python.org/pypi/hexlite\n* Installation with Conda:\n\n The easiest way to install `hexlite` is Conda.\n \n First you need to install the `clingo` dependency:\n\n ```$ conda install -c potassco clingo```\n\n Then you install hexlite:\n\n ```$ conda install -c peterschueller hexlite```\n\n (If you wonder why we do not automatically install clingo as a dependency:\n certain conda restrictions prevent that `clingo` is automatically installed\n unless the potassco channel is **manually** added by the user.)\n\n Then you test hexlite:\n\n ```$ hexlite -h```\n\n* Installation with pip:\n\n This will download, build, and locally install Python-enabled `clingo` modules.\n\n * If you do not have it: install `python-pip`: for example under Ubuntu via\n \n ```$ sudo apt-get install python-pip```\n\n * Install hexlite:\n\n ```$ pip install hexlite --user```\n\n * Setup Python to use the "Userinstall" environment that allows you\n to install Python programs without overwriting system packages:\n\n Add the following to your `.profile` or `.bashrc` file:\n\n ```\n export PYTHONUSERBASE=~/.local/\n export PATH=$PATH:~/.local/bin\n ```\n\n * Run hexlite the first time. This will help to download and build pyclingo unless it is already usable via `import clingo`:\n\n ```$ hexlite```\n\n The first run of hexlite might ask you to enter the sudo password\n to install several packages.\n (You can do this manually. Simply abort and later run `hexlite` again.)\n\n * Ubuntu 16.04 is tested\n * Debian 8.6 (jessie) is tested\n * Ubuntu 14.04 can not work without manual installation of cmake 3.1 or higher (for buildling clingo)\n\n* Using the Java API\n\n Building the JAVA API is not automated, you need to install `Jpype >=0.7.2` and `ant` and `maven` and run\n\n ```mvn clean compile package install```\n\n See also `.travis.yml` how to build and install and test the Java plugin.\n\n* Using the Docker image\n\n There is a Dockerfile that builds a docker image where hexlite and its source code is installed.\n\n Build the image with\n\n ```$ ./build-docker-image.sh```\n\n Run the image and start a shell in the image with\n\n ```$ ./run-docker-image.sh```\n \n In the image, run an example:\n\n ```\n # hexlite --pluginpath /opt/hexlite/plugins/ --plugin testplugin -- /opt/hexlite/tests/inputs/extatom2.hex\n ```\n\n Should give the following output (it is a set, the order of items does not matter):\n\n `{prefix("test:"),more("a","b","c"),complete("test: a b c")}`\n\n# Running Hexlite on Examples in the Repository\n\n* If `hexlite` by itself shows the help, you can run it on some examples in the repository.\n\n* Hexlite needs to know where to find plugins and what is the name of the Python modules of these plugins\n\n\t* The path for plugins is given as argument ``--pluginpath ``.\n\n\t This argument can be given multiple times. You can use absolute or relative paths.\n\n\t* The python modules to load are given as argument ``--plugin [ ]``.\n\t\n\t Multiple plugins can be loaded.\n Each plugin can have arguments.\n\n\t !ATTENTION!:\n\t If you specify the HEX input file after ``--plugin ``, it becomes the argument of the plugin.\n\t In this case, you need to\n\t\n\t * specify the HEX input files _before_ the other arguments\n\t or\n\t * indicate end of the argument list with the ``--`` option.\n\n* To run one of the examples in the ``tests/`` directory you can use one of the following methods to call hexlite:\n\n ```\n $ hexlite --pluginpath ./plugins/ --plugin testplugin -- tests/inputs/extatom3.hex\n $ hexlite tests/inputs/extatom3.hex --pluginpath ./plugins/ --plugin testplugin\n $ hexlite --pluginpath=./plugins/ --plugin=testplugin tests/inputs/extatom3.hex\n ```\n\n# Developer Readme\n\n* For developing hexlite without uploading to anaconda repository:\n\n * Install clingo with conda, but but do **not** install hexlite with conda.\n\n ```$ conda install -c potassco clingo```\n\n * checkout hexlite with git\n\n ```$ git clone git@github.com:hexhex/hexlite.git```\n\n * install `hexlite` in develop mode into your user-defined Python space:\n\n ```$ python3 setup.py develop --user```\n\n * If you want to remove this development installation:\n\n ```\n $ python3 setup.py develop --uninstall --user\n $ rm ~/.local/bin/hexlite\n ```\n\n (Installed scripts are not automatically uninstalled.)\n\n* For building and uploading a new version to pip and conda (Note: conda requires to upload to pip first)\n \n * Update version in `setup.py`.\n\n * Build pypi source package\n\n `$ python setup.py sdist`\n\n\t* Verify that dist/ contains the right archives with the right content (no wheels etc.)\n\n\t* Upload to pypi\n\n `$ twine upload dist/*`\n\n * Update version in `meta.yaml`.\n\n * Build for anaconda cloud\n \n First, some conda packages need to be installed via `conda install conda-build conda-verify anaconda`.\n\n `$ conda build .`\n\n (get upload command from last lines of output)\n\n If conda is installed on an encrypted /home/ or similar, this will abort with a permission error.\n You can make it work by creating a new directory on an unencrypted `/tmp/`, for example `/tmp/conda-build`,\n and run conda build as follows:\n\n `$ conda build --croot /tmp/conda-build/ .`\n\n * Verify that archive to upload contains the right content (and no backup files, experimental results, etc...)\n\n `$ anaconda upload `\n\n* Roadmap\n\n - make it deployable via conda and pip\n\n* Jpype\n\n - we need version 0.7.2 the versions below have a bug that affects us\n - conda-forge has 0.7.2\n\n $ conda install -c conda-forge jpype1 \n' running bdist_wheel running build running build_py creating build creating build/lib creating build/lib/hexlite copying hexlite/buildclingo.py -> build/lib/hexlite copying hexlite/clingogroundprogramprinter.py -> build/lib/hexlite copying hexlite/main.py -> build/lib/hexlite copying hexlite/__init__.py -> build/lib/hexlite copying hexlite/rewriter.py -> build/lib/hexlite copying hexlite/auxiliary.py -> build/lib/hexlite copying hexlite/modelcallback.py -> build/lib/hexlite copying hexlite/explicitflpcheck.py -> build/lib/hexlite copying hexlite/clingobackend.py -> build/lib/hexlite copying hexlite/app.py -> build/lib/hexlite copying hexlite/common.py -> build/lib/hexlite creating build/lib/hexlite/ast copying hexlite/ast/__init__.py -> build/lib/hexlite/ast copying hexlite/ast/shallowparser.py -> build/lib/hexlite/ast creating build/lib/dlvhex copying dlvhex/dlvhex-not-implemented-plugin.py -> build/lib/dlvhex copying dlvhex/__init__.py -> build/lib/dlvhex creating build/lib/acthex copying acthex/main.py -> build/lib/acthex copying acthex/__init__.py -> build/lib/acthex copying acthex/rewriter.py -> build/lib/acthex copying acthex/actionmanager.py -> build/lib/acthex installing to build/bdist.linux-armv7l/wheel running install running install_lib creating build/bdist.linux-armv7l creating build/bdist.linux-armv7l/wheel creating build/bdist.linux-armv7l/wheel/acthex copying build/lib/acthex/main.py -> build/bdist.linux-armv7l/wheel/acthex copying build/lib/acthex/__init__.py -> build/bdist.linux-armv7l/wheel/acthex copying build/lib/acthex/rewriter.py -> build/bdist.linux-armv7l/wheel/acthex copying build/lib/acthex/actionmanager.py -> build/bdist.linux-armv7l/wheel/acthex creating build/bdist.linux-armv7l/wheel/hexlite copying build/lib/hexlite/buildclingo.py -> build/bdist.linux-armv7l/wheel/hexlite copying build/lib/hexlite/clingogroundprogramprinter.py -> build/bdist.linux-armv7l/wheel/hexlite copying build/lib/hexlite/main.py -> build/bdist.linux-armv7l/wheel/hexlite copying build/lib/hexlite/__init__.py -> build/bdist.linux-armv7l/wheel/hexlite copying build/lib/hexlite/rewriter.py -> build/bdist.linux-armv7l/wheel/hexlite copying build/lib/hexlite/auxiliary.py -> build/bdist.linux-armv7l/wheel/hexlite copying build/lib/hexlite/modelcallback.py -> build/bdist.linux-armv7l/wheel/hexlite copying build/lib/hexlite/explicitflpcheck.py -> build/bdist.linux-armv7l/wheel/hexlite copying build/lib/hexlite/clingobackend.py -> build/bdist.linux-armv7l/wheel/hexlite copying build/lib/hexlite/app.py -> build/bdist.linux-armv7l/wheel/hexlite copying build/lib/hexlite/common.py -> build/bdist.linux-armv7l/wheel/hexlite creating build/bdist.linux-armv7l/wheel/hexlite/ast copying build/lib/hexlite/ast/__init__.py -> build/bdist.linux-armv7l/wheel/hexlite/ast copying build/lib/hexlite/ast/shallowparser.py -> build/bdist.linux-armv7l/wheel/hexlite/ast creating build/bdist.linux-armv7l/wheel/dlvhex copying build/lib/dlvhex/dlvhex-not-implemented-plugin.py -> build/bdist.linux-armv7l/wheel/dlvhex copying build/lib/dlvhex/__init__.py -> build/bdist.linux-armv7l/wheel/dlvhex running install_egg_info running egg_info writing requirements to hexlite.egg-info/requires.txt writing dependency_links to hexlite.egg-info/dependency_links.txt writing top-level names to hexlite.egg-info/top_level.txt writing entry points to hexlite.egg-info/entry_points.txt writing hexlite.egg-info/PKG-INFO reading manifest file 'hexlite.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' writing manifest file 'hexlite.egg-info/SOURCES.txt' Copying hexlite.egg-info to build/bdist.linux-armv7l/wheel/hexlite-1.1.0-py3.4.egg-info running install_scripts adding license file "LICENSE" (matched pattern "LICEN[CS]E*") creating build/bdist.linux-armv7l/wheel/hexlite-1.1.0.dist-info/WHEEL creating '/tmp/pip-wheel-ksr3wx3d/hexlite-1.1.0-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it adding 'acthex/__init__.py' adding 'acthex/actionmanager.py' adding 'acthex/main.py' adding 'acthex/rewriter.py' adding 'dlvhex/__init__.py' adding 'dlvhex/dlvhex-not-implemented-plugin.py' adding 'hexlite/__init__.py' adding 'hexlite/app.py' adding 'hexlite/auxiliary.py' adding 'hexlite/buildclingo.py' adding 'hexlite/clingobackend.py' adding 'hexlite/clingogroundprogramprinter.py' adding 'hexlite/common.py' adding 'hexlite/explicitflpcheck.py' adding 'hexlite/main.py' adding 'hexlite/modelcallback.py' adding 'hexlite/rewriter.py' adding 'hexlite/ast/__init__.py' adding 'hexlite/ast/shallowparser.py' adding 'hexlite-1.1.0.dist-info/LICENSE' adding 'hexlite-1.1.0.dist-info/METADATA' adding 'hexlite-1.1.0.dist-info/WHEEL' adding 'hexlite-1.1.0.dist-info/entry_points.txt' adding 'hexlite-1.1.0.dist-info/top_level.txt' adding 'hexlite-1.1.0.dist-info/RECORD' removing build/bdist.linux-armv7l/wheel Running setup.py bdist_wheel for hexlite: finished with status 'done' Stored in directory: /tmp/tmpwm8b9ryy Successfully built hexlite Cleaning up... Removing source in /tmp/pip-wheel-darht6z9/hexlite Removed build tracker '/tmp/pip-req-tracker-ynivljq7'