cadical-sys 0.7.0

Almost complete safe and unsafe bindings for the CaDiCal SAT solver. Made using the cxx crate and then wrapped in a safe 1 to 1 API.
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

[build-dependencies.cxx-build]
version = "1.0"

[dependencies.cxx]
version = "1.0"

[dev-dependencies.rand]
version = "0.8.4"

[lib]
name = "cadical_sys"
path = "src/lib.rs"

[package]
authors = ["Andrew Luka"]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = "build.rs"
categories = ["api-bindings", "development-tools::ffi", "external-ffi-bindings"]
description = "Almost complete safe and unsafe bindings for the CaDiCal SAT solver. Made using the cxx crate and then wrapped in a safe 1 to 1 API."
edition = "2021"
keywords = ["cadical", "sat-solver", "bindings", "system-level", "safe"]
license = "MIT"
links = "cadical"
name = "cadical-sys"
readme = "README.md"
repository = "https://github.com/sirandreww/cadical-sys.git"
version = "0.7.0"

[[test]]
name = "mod"
path = "tests/mod.rs"

[[test]]
name = "random_tests"
path = "tests/random_tests.rs"