Cargo Features
LogicNG has no features set by default.
[dependencies]
logicng = { version = "0.1.0-alpha.3", features = ["long_running_tests", "open_wbo"] }- long_running_tests
-
these tests should only be executed with the release profile, otherwise they take too much time
- open_wbo
-
Enables logicng-open-wbo-sys
Affects
solver::maxsat…