An reimplementation of ARIPOTER, an approximate reasoning solver for iccma task.
To print help
cargo run -r -- --helpTo run
cargo run -r -- -f filename.af -p DC-CO -a 1 --heuristic hcat-
Notifications
You must be signed in to change notification settings - Fork 0
Paulo-21/rapproximate
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An reimplementation of ARIPOTER in Rust with more algorithms