.
FRDCSA | git codebases | ggp-rs
Homepage

[Project image]
ggp-rs

Jump to: Project Description

Project Description

`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.


This page is part of the FWeb package.
Last updated Sat Oct 26 17:00:12 EDT 2019 .