satlog.rs：用于SAT类似求解器的简单日志记录器

将日志输出到stdout作为DIMACS注释

c WARN: ...
c ERR: ...

对于Level::Info消息，不打印级别：这允许通过设置级别过滤器为LevelFilter::Off来为求解器设置安静模式。

示例用法

use satlog::SatLogger;
use log::LevelFilter;

fn main() {
    SatLogger::init(LevelFilter::Info);
}

限制/待办事项

• 允许配置多行日志消息的前缀

lib.rs:

satlog.rs是一个简单且极简的日志记录器，专为SAT求解器等设计，遵循以c开始的DIMACS语法注释。

主交互和设置通过[SatLogger]结构完成。

这连接到通用的log crate，并将消息简单地显示到stdout。

一些有趣的功能

• 级别为Level::Info的消息不显示前缀。这允许显示“默认”日志消息，并通过LevelFilter::Off切换它们。
• 禁用颜色的color功能。

示例

use satlog::SatLogger;
use log::LevelFilter;

fn main() {
    SatLogger::init(LevelFilter::Info);

    log::info!("Hello");
    log::trace!("Will not display");
}