satlog 0.2.1

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
23
24
25
26

# `satlog.rs`: Simple logger for SAT-like solvers

This outputs logs to `stdout` as `DIMACS` comments:
```
c WARN: ...
c ERR: ...
```

For `Level::Info` messages, the level is not printed: this allows to
have a quiet mode for the solver by setting the level filter to
`LevelFilter::Off`.

## Example usage

```rust
use satlog::SatLogger;
use log::LevelFilter;

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

## Limitations / TODOs

- Allow configuring the prefix for multiline log messages