Lib.rs

Cargo Features

[dependencies]
proto-vulcan = { version = "0.1.6", default-features = false, features = ["core", "extras", "clpfd", "clpz", "debugger"] }

default = clpfd, clpz, core, extras

These default features are set whenever proto-vulcan is added without default-features = false somewhere in the dependency tree.

core default

Affects operator::anyo, operator::closure, operator::conde, operator::conj, operator::disj, operator::everyg, operator::fngoal, operator::dfs, operator::fresh, operator::matche, operator::project, relation::diseq, relation::eq, relation::fail, relation::succeed…

extras default

Affects operator::matcha, operator::matchu, relation::always, relation::append, relation::cons, relation::distinct, relation::empty, relation::first, relation::member1, relation::member, relation::never, relation::permute, relation::rember, relation::rest, operator::onceo…

clpfd default

Affects relation::clpfd, operator::onceo…

clpz default

Affects relation::clpz…

debugger

Affects proto-vulcan::debugger…