Skip to main content
run_symbolic_defeasible
qualia_
cli
0.0.30
In qualia_
cli::
solve
qualia_cli
::
solve
Function
run_
symbolic_
defeasible
Copy item path
Source
pub fn run_symbolic_defeasible(facts_str: &
str
, rules_str: &
str
)