rapproximate

An reimplementation of ARIPOTER, an approximate reasoning solver for iccma task.

To print help

cargo run -r -- --help

To run

cargo run -r -- -f filename.af -p DC-CO -a 1 --heuristic hcat