gay-integration

Gay.jl integration for bisimulation games with proper hue-based trit derivation and GF(3) conservation