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

use satlog::SatLogger;
use log::LevelFilter;
fn main() {
    SatLogger::init(LevelFilter::Info).expect("Could not create logger");

    log::debug!("NOT SHOWN");
    log::trace!("NOT SHOWN");
    log::info!("SHOWN WITHOUT LEVEL");
    log::warn!("SHOWN");
    log::error!("SHOWN");

    log::info!("Multiline:\nFirst\nSecond\nThird");
    log::error!("Multiline:\nFirst\nSecond\nThird");
}