add interactive solver
cargo devel CI / cargo CI (push) Successful in 1m46s Details
Kind/Feature
Priority
Medium
#4 by cscherrNT was merged 2024-07-25 15:19:54 +02:00