rust_clasp is an in-progress Rust port of
clasp, the Potassco answer set solver.
The upstream C++ implementation under original_clasp/ remains the behavioral
reference for algorithms, CLI semantics, output, and tests.
The repository is still in the early porting phase.
The bootstrap workspace is validated with the standard Rust toolchain:
cargo fmt --all -- --check
cargo clippy --workspace --all-targets -- -D warnings
cargo test --workspace