十六进制碎片的解算器
hexlite的Python项目详细描述
#hexlite-hex片段的解算器
这是hex语言片段和基于python的插件的解算器
它基于clago的python接口，本身不包含任何c++代码。
有了hex.
hexlite的愿景是可以使用现有的python插件并基于clago python接口运行，在没有实现hex的全功率的情况下，
该系统目前正在开发中，仅适用于某些程序：
*只有恒定输入的外部原子在gringo接地期间进行评估
*只有谓词输入且没有恒定输出的外部原子进行评估在clap传播子中求解时，也可以计算具有谓词输入和具有域谓词的常量输出的外部原子
*未实现自由安全性
*不使用外部原子的属性
*如果它具有有限接地，它将终止，否则，它不会像gringo一样显式地执行flp检查，并且在强否定和弱约束下不起作用
*flp检查可以被停用
有关系统的手稿正在准备中。
如果出现错误，请在此处报告问题：https://github.com/hexhex/hexlite/issues
*许可证：gpl（3.0）
*作者：peter schüller<；schueller.p@gmail.com>；
*可在pypi上获得：https://pypi.python.org/pypi/hexlite
*使用conda安装：
HexLite:
```$conda install-c peterschueller hexlite```
（如果您想知道为什么我们不自动将clago安装为依赖项：
某些conda限制阻止"clago"自动安装
，除非由用户。）
然后测试hexlite：
````$hexlite-h```
*使用pip安装：
```$sudo apt get install python pip```
*安装hexlite:
``````$pip install hexlite--user`````
*设置python以使用"userinstall"环境，该环境允许您在不覆盖系统包的情况下安装python程序：
按照您的".profile"或".bashrc"文件：
```
export pythonuserbase=~/.local/
export path=$path:~/.local/bin
````
*第一次运行hexlite。这将有助于下载和构建pyclago，除非它已经可以通过"import clago"使用：
```$hexlite```
hexlite的第一次运行可能会要求您输入sudo密码
来安装几个包。
（您可以手动执行此操作）。只需中止并稍后再次运行"hexlite"。
*ubuntu 16.04已测试
*debian 8.6（jessie）已测试
*ubuntu 14.04在没有手动安装cmake 3.1或更高版本（用于构建clago）的情况下无法工作
`` hexlite``本身显示了帮助，您可以在存储库中的一些示例上运行它。
*hexlite需要知道在哪里找到插件以及这些插件的python模块的名称
*插件的路径作为参数``--pluginpath<；path>；`.
这个参数可以多次给出。您可以使用绝对路径或相对路径。
*要加载的python模块作为参数``--plugin<；module>；[<；argument1>；<；argument2>；]````。可以加载多个插件。
每个插件都可以有argu开始。
！注意！：
如果在`--plugin<；module>；``之后指定十六进制输入文件，则它将成为插件的参数。
在本例中，您需要
*在其他参数之前指定十六进制输入文件
或
*用`--``选项指示参数列表的结尾。
*要运行``tests/``目录中的一个示例，可以使用以下方法之一调用hexlite：
```
$hexlite--pluginpath./plugins/--plugin testplugin--tests/extatom3.hex
$hexlite tests/extatom3.hex--pluginpath./plugins/--plugin testplugin
$hexlite--pluginpath=./plugins/--plugin=testplugin tests/extatom3.hex
```
自述文件
*用于在不上传到anaconda存储库的情况下开发hexlite：
*使用conda安装clago，但是不要**用conda安装hexlite。
```$conda install-c potasco clago```
*用git签出hexlite
```$git clone git@github.com:hexhex/hexlite.git```
*在开发模式下将"hexlite"安装到用户定义的python空间：
```$python3 setup.py develop--用户```
*如果要删除此开发安装：
```
$python3 setup.py develop--卸载--用户
$rm~/.local/bin/hexlite
```
（安装的脚本不会自动卸载。）
*用于生成并将新版本上载到pip和conda（注意：conda需要先上载到pip）
*更新"setup.py"中的版本。
*构建pypi源包
`$python setup.py sdist`
*验证dist/是否包含具有正确内容的正确存档（否轮子等）
*上传到pypi
`$tween upload dist/*`
*更新"meta.yaml"中的版本。
*为蟒蛇云构建
`$conda构建。`
（从最后一行输出获取上传命令）
/或者类似的情况，这将因权限错误而中止。
您可以通过在未加密的`/tmp/`（例如`/tmp/conda build`）上创建一个新目录来工作，
并按如下方式运行conda build：`conda build--croot/tmp/conda build/`.
*验证要上载的存档是否包含正确的内容（没有备份文件、实验结果等）
`$anaconda upload<；path from conda build>；。`
这是hex语言片段和基于python的插件的解算器
它基于clago的python接口，本身不包含任何c++代码。
有了hex.
hexlite的愿景是可以使用现有的python插件并基于clago python接口运行，在没有实现hex的全功率的情况下，
该系统目前正在开发中，仅适用于某些程序：
*只有恒定输入的外部原子在gringo接地期间进行评估
*只有谓词输入且没有恒定输出的外部原子进行评估在clap传播子中求解时，也可以计算具有谓词输入和具有域谓词的常量输出的外部原子
*未实现自由安全性
*不使用外部原子的属性
*如果它具有有限接地，它将终止，否则，它不会像gringo一样显式地执行flp检查，并且在强否定和弱约束下不起作用
*flp检查可以被停用
有关系统的手稿正在准备中。
如果出现错误，请在此处报告问题：https://github.com/hexhex/hexlite/issues
*许可证：gpl（3.0）
*作者：peter schüller<；schueller.p@gmail.com>；
*可在pypi上获得：https://pypi.python.org/pypi/hexlite
*使用conda安装：
HexLite:
```$conda install-c peterschueller hexlite```
（如果您想知道为什么我们不自动将clago安装为依赖项：
某些conda限制阻止"clago"自动安装
，除非由用户。）
然后测试hexlite：
````$hexlite-h```
*使用pip安装：
```$sudo apt get install python pip```
*安装hexlite:
``````$pip install hexlite--user`````
*设置python以使用"userinstall"环境，该环境允许您在不覆盖系统包的情况下安装python程序：
按照您的".profile"或".bashrc"文件：
```
export pythonuserbase=~/.local/
export path=$path:~/.local/bin
````
*第一次运行hexlite。这将有助于下载和构建pyclago，除非它已经可以通过"import clago"使用：
```$hexlite```
hexlite的第一次运行可能会要求您输入sudo密码
来安装几个包。
（您可以手动执行此操作）。只需中止并稍后再次运行"hexlite"。
*ubuntu 16.04已测试
*debian 8.6（jessie）已测试
*ubuntu 14.04在没有手动安装cmake 3.1或更高版本（用于构建clago）的情况下无法工作
`` hexlite``本身显示了帮助，您可以在存储库中的一些示例上运行它。
*hexlite需要知道在哪里找到插件以及这些插件的python模块的名称
*插件的路径作为参数``--pluginpath<；path>；`.
这个参数可以多次给出。您可以使用绝对路径或相对路径。
*要加载的python模块作为参数``--plugin<；module>；[<；argument1>；<；argument2>；]````。可以加载多个插件。
每个插件都可以有argu开始。
！注意！：
如果在`--plugin<；module>；``之后指定十六进制输入文件，则它将成为插件的参数。
在本例中，您需要
*在其他参数之前指定十六进制输入文件
或
*用`--``选项指示参数列表的结尾。
*要运行``tests/``目录中的一个示例，可以使用以下方法之一调用hexlite：
```
$hexlite--pluginpath./plugins/--plugin testplugin--tests/extatom3.hex
$hexlite tests/extatom3.hex--pluginpath./plugins/--plugin testplugin
$hexlite--pluginpath=./plugins/--plugin=testplugin tests/extatom3.hex
```
自述文件
*用于在不上传到anaconda存储库的情况下开发hexlite：
*使用conda安装clago，但是不要**用conda安装hexlite。
```$conda install-c potasco clago```
*用git签出hexlite
```$git clone git@github.com:hexhex/hexlite.git```
*在开发模式下将"hexlite"安装到用户定义的python空间：
```$python3 setup.py develop--用户```
*如果要删除此开发安装：
```
$python3 setup.py develop--卸载--用户
$rm~/.local/bin/hexlite
```
（安装的脚本不会自动卸载。）
*用于生成并将新版本上载到pip和conda（注意：conda需要先上载到pip）
*更新"setup.py"中的版本。
*构建pypi源包
`$python setup.py sdist`
*验证dist/是否包含具有正确内容的正确存档（否轮子等）
*上传到pypi
`$tween upload dist/*`
*更新"meta.yaml"中的版本。
*为蟒蛇云构建
`$conda构建。`
（从最后一行输出获取上传命令）
/或者类似的情况，这将因权限错误而中止。
您可以通过在未加密的`/tmp/`（例如`/tmp/conda build`）上创建一个新目录来工作，
并按如下方式运行conda build：`conda build--croot/tmp/conda build/`.
*验证要上载的存档是否包含正确的内容（没有备份文件、实验结果等）
`$anaconda upload<；path from conda build>；。`
欢迎加入QQ群-->： 979659372
