ipasir 0.3.1

Bindings for the IPASIR API to communicate with incremental SAT solvers.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

[package]
name = "ipasir"
version = "0.3.1"
authors = ["Robbepop <robbepop@web.de>"]
license = "MIT/Apache-2.0"
readme  = "README.md"

# Attributes for crates.io.
categories = ["science", "api-bindings"]
keywords   = ["ffi", "sat", "solver", "incremental"]
description = """Bindings for the IPASIR API to communicate with incremental SAT solvers."""

repository = "https://github.com/robbepop/ipasir-rs"
documentation = "https://docs.rs/ipasir"

[package.metadata.docs.rs]
features = ["ffi"]

[dependencies]

[features]
default = []
ffi = []