rssat 0.1.6

DEPRECATED: rssat is a Rust library that provides Rust bindings for multiple popular 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
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

[package]
authors = ["Xie Zhongtao"]
categories = ["science", "mathematics"]
description = "DEPRECATED: rssat is a Rust library that provides Rust bindings for multiple popular SAT solvers"
edition = "2021"
keywords = ["sat", "minisat", "cadical", "glucose", "slover"]
license = "MIT"
name = "rssat"
repository = "https://github.com/francisol/rssat.git"
version = "0.1.6"

[package.metadata.docs.rs]

features = [""]

# Whether to pass `--no-default-features` to Cargo (default: false)
no-default-features = true

# Target to test build on, used as the default landing page (default: "x86_64-unknown-linux-gnu")
#
# Any target supported by rustup can be used.
default-target = "x86_64-unknown-linux-gnu"

[dependencies]
nom = "8.0.0"
pest = { version = "2.7.13", optional = true,features = ["miette-error"]}
pest_derive = {version="2.7.13", optional = true}
thiserror = {version = "1.0"}
[build-dependencies]
bindgen = "0.70.1"
cmake = "0.1"
flate2 = "1.0"
reqwest = {version = "0.12", features = ["blocking", "rustls-tls"], default-features = false}
tar = "0.4"
[features]
cadical = []
default = ["glucose", "minisat", "cadical","parser"]
parser = ["pest","pest_derive"]
glucose = []
minisat = []