Lib.rs

Cargo Features

[dependencies]
oxidd-parser = { version = "0.4.0", default-features = false, features = ["load-file"] }

default = load-file

The load-file feature is set by default whenever oxidd-parser is added without default-features = false somewhere in the dependency tree.

load-file default

Convenience functions etc. to load a problem from file ([load_file()])

Enables codespan-reporting

error reporting

Features from optional dependencies

spell-checker:ignore codespan