[build-dependencies.cc]
features = ["parallel"]
version = "1.0"
[features]
cpp-debug = []
[package]
authors = ["Miklos Maroti <mmaroti@gmail.com>"]
categories = ["mathematics", "science"]
description = "Rust bindings for the CaDiCaL SAT solver"
edition = "2018"
exclude = ["cadical/src/makefile", "cadical/scripts", "cadical/test"]
keywords = ["SAT", "solver", "logic", "satisfiability", "minisat"]
license = "MIT"
links = "ccadical"
name = "cadical"
readme = "README.md"
repository = "https://github.com/mmaroti/cadical-rs/"
version = "0.1.14"