ggp-rs
- `ggp-rs` is a library for creating ggp (general game playing) players in Rust that is based off of [ggp Base](https://github.com/ggp-org/ggp-base). While ggp Base allows the creation of players backed by a propositional network or a logic prover, this library currently only supports logic prover based players. The performance of this logic prover is comparable to the one in ggp Base.