• `ggp-rs` is a library for creating ggp (general game playing) players in Rust that is based off of [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.