Crates.io | clingo-sys |
lib.rs | clingo-sys |
version | 0.7.2 |
source | src |
created_at | 2017-04-26 20:36:01.731152 |
updated_at | 2023-10-02 11:52:50.291921 |
description | Raw FFI bindings to the C API of the clingo library |
homepage | |
repository | https://github.com/potassco/clingo-sys |
max_upload_size | |
id | 12143 |
size | 29,184,066 |
Rust raw FFI bindings to the C API of clingo library. Clingo version 5.6.2.
Per default the crate uses the clingo library via dynamic linking.
It is assumed that a clingo dynamic library is installed on the system.
You have to set the environment variable CLINGO_LIBRARY_PATH
. For example:
export CLINGO_LIBRARY_PATH=/scratch/miniconda3/envs/test/lib
static-linking
The crate defines a Cargo feature that allows to use the clingo library via static linking.
The recommended way to use the optional static linking support is as follows.
[dependencies]
clingo-sys = { version = "0.7.2", features = ["static-linking"] }
To build clingo for static linking you need the following tools installed: