satlog 0.2.0

A logger for SAT-like solvers
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

[dependencies.colored]
optional = true
version = "2.0.0"

[dependencies.log]
features = ["std"]
version = "0.4.17"

[features]
color = ["colored"]
default = ["color"]

[package]
description = "A logger for SAT-like solvers"
edition = "2021"
homepage = "https://sr.ht/~vigoux/satlog.rs/"
keywords = ["log"]
license-file = "LICENSE.txt"
name = "satlog"
readme = "README.md"
repository = "https://git.sr.ht/~vigoux/satlog.rs"
version = "0.2.0"